Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
Freeness Analysis for Logic Programs — And Correctness?
ICLP, 1993.
@inproceedings{ICLP-1993-CodishDFB,
author = "Michael Codish and Dennis Dams and Gilberto Filé and Maurice Bruynooghe",
booktitle = "{Proceedings of the 10th International Conference on Logic Programming}",
isbn = "0-262-73105-3",
pages = "116--131",
publisher = "{MIT Press}",
title = "{Freeness Analysis for Logic Programs — And Correctness?}",
year = 1993,
}