A Choice-Point Library for Backtrack Programming.
VenueBICLP
Year1998
ProceedingsImplementation Technology for Programming Languages based on Logic
DBLP recordconf/iclp/Moreau98 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.