Jung-Herng Chang, Alvin M. Despain
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis
ICLP, 1985.
@inproceedings{SLP-1985-ChangD85,
author = "Jung-Herng Chang and Alvin M. Despain",
booktitle = "{Proceedings of the Second Symposium on Logic Programming}",
isbn = "0-8186-0636-3",
pages = "10--21",
publisher = "{IEEE-CS}",
title = "{Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis}",
year = 1985,
}