An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog

Lunjin Lu and Peter Greenfield

Bibtex Record

@inproceedings {Lu:Greenfield:92a,
author = {L. Lu and P. Greenfield},
title = {An Algorithm for Finite Approximations of Definite Programs and its Implementation in {P}rolog},
booktitle = {Proceedings of the Fourth UK Conference on Logic Programming},
year = 1992,
publisher = {Springe Verlag},
pages = {62-76},
url = {http://www.oakland.edu/~l2lu/pubs/FiniteApprox.ps},
keywords = {Abstract Interpretation and Fixpoint Computation and Logic Programming}
}