Pascal Van Hentenryck, Viswanath Ramachandran
Backtracking without Trailing in CLP(R<sub>Linsub>)
PLDI, 1994.
@inproceedings{PLDI-1994-HentenryckR,
author = "Pascal Van Hentenryck and Viswanath Ramachandran",
booktitle = "{Proceedings of the 15th Conference on Programming Language Design and Implementation}",
doi = "10.1145/178243.178488",
editor = "Vivek Sarkar and Barbara G. Ryder and Mary Lou Soffa",
isbn = "0-89791-662-X",
note = "long version: TOPLAS 17(4): 349-360 (1995)",
pages = "349--360",
publisher = "{ACM}",
title = "{Backtracking without Trailing in CLP(RLin)}",
year = 1994,
}