Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut
ICLP, 1994.
@inproceedings{ILPS-1994-CharlierRH,
author = "Baudouin Le Charlier and Sabina Rossi and Pascal Van Hentenryck",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-52191-1",
pages = "157--171",
publisher = "{MIT Press}",
title = "{An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut}",
year = 1994,
}