Li-Yan Yuan, Jia-Huai You. On the Extension of Logic Programming with Negation through Uniform Proofs. In V. Wiktor Marek, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR 95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Volume 928 of Lecture Notes in Computer Science, pages 231-244, Springer, 1995.
Abstract is missing.