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