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,
}











