Michael Codish, Bart Demoen, Konstantinos F. Sagonas
XSB as the Natural Habitat for General Purpose Program Analysis
ICLP, 1997.
@inproceedings{ICLP-1997-CodishDS,
author = "Michael Codish and Bart Demoen and Konstantinos F. Sagonas",
booktitle = "{Proceedings of the 14th International Conference on Logic Programming}",
isbn = "0-262-64035-X",
pages = "416",
publisher = "{MIT Press}",
title = "{XSB as the Natural Habitat for General Purpose Program Analysis}",
year = 1997,
}