John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam
Practical Model-Based Static Analysis for Definite Logic Programs
ICLP, 1995.
@inproceedings{ILPS-1995-GallagherBS, author = "John P. Gallagher and Dmitri Boulanger and Hüseyin Saglam", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-62099-5", pages = "351--365", publisher = "{MIT Press}", title = "{Practical Model-Based Static Analysis for Definite Logic Programs}", year = 1995, }