On the Extension of Logic Programming with Negation through Uniform Proofs.

Li-Yan Yuan, Jia-Huai You

Browse the full LPNMR paper archive.