Richard A. O'Keefe
On the Treatment of Cuts in Prolog Source-Level Tools
ICLP, 1985.
@inproceedings{SLP-1985-OKeefe85,
author = "Richard A. O'Keefe",
booktitle = "{Proceedings of the Second Symposium on Logic Programming}",
isbn = "0-8186-0636-3",
pages = "68--72",
publisher = "{IEEE-CS}",
title = "{On the Treatment of Cuts in Prolog Source-Level Tools}",
year = 1985,
}











