Extending logic programming with negation through uniform proofs - Yuan, Li-Yan; You, Jia-Huai (Research report / Institute for Social Information Science, 1995)