Chandrabose Aravindan, Phan Minh Dung
Partial Deduction of Logic Programs wrt Well-Founded Semantics
PPDP, 1992.
@inproceedings{ALP-1992-AravindanD, author = "Chandrabose Aravindan and Phan Minh Dung", booktitle = "{Proceedings of the Third International Conference on Algebraic and Logic Programming}", doi = "10.1007/BFb0013839", isbn = "3-540-55873-X", pages = "384--402", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Partial Deduction of Logic Programs wrt Well-Founded Semantics}", volume = 632, year = 1992, }