Nevin Heintze, Joxan Jaffar
A Finite Presentation Theorem for Approximating Logic Programs
POPL, 1990.
@inproceedings{POPL-1990-HeintzeJ,
author = "Nevin Heintze and Joxan Jaffar",
booktitle = "{Conference Record of the 17th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/96709.96729",
editor = "Frances E. Allen",
isbn = "0-89791-343-4",
pages = "197--209",
publisher = "{ACM Press}",
title = "{A Finite Presentation Theorem for Approximating Logic Programs}",
year = 1990,
}