Chandrabose Aravindan, Phan Minh Dung. Partial Deduction of Logic Programs wrt Well-Founded Semantics. In Hélène Kirchner, Giorgio Levi, editors, Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings. Volume 632 of Lecture Notes in Computer Science, pages 384-402, Springer, 1992.
@inproceedings{AravindanD92,
title = {Partial Deduction of Logic Programs wrt Well-Founded Semantics},
author = {Chandrabose Aravindan and Phan Minh Dung},
year = {1992},
tags = {semantics, logic programming, logic},
researchr = {https://researchr.org/publication/AravindanD92},
cites = {0},
citedby = {0},
pages = {384-402},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings},
editor = {Hélène Kirchner and Giorgio Levi},
volume = {632},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55873-X},
}