On the Extension of Logic Programming with Negation through Uniform Proofs

• Authors:

• Li-Yan Yuan;Jia-Huai You

• Affiliations:

• -;-

• Venue:
• LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
• Year:
• 1995