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). In ISLP. pages 405-419, 1991.

Abstract

Abstract is missing.