Stefano Bistarelli Boi Faltings Nicoleta Neagu 31-46 2002 conf/colognet/2002 International Workshop on Constraint Solving and Constraint Logic Programming http://link.springer.de/link/service/series/0558/bibs/2627/26270031.htm db/conf/colognet/colognet2002.html#BistarelliFN02