On the Extension of Logic Programming with Negation through Uniform Proofs

Sorry, there's nothing here.

Cite this paper

@inproceedings{Yuan1995OnTE, title={On the Extension of Logic Programming with Negation through Uniform Proofs}, author={Li-Yan Yuan and Jia-Huai You}, booktitle={LPNMR}, year={1995} }