Intelligent Backtracking for CLP Languages: An Application to CLP(R).

Bruno De Backer Henri Beringer Intelligent Backtracking for CLP Languages: An Application to CLP(R). 405-419 1991 ISLP db/conf/slp/slp91.html#BackerB91