D.: Compiling constraints in clp(fd (1996)

by P Codognet, Diaz
Venue:J. Log. Program