Slim Abdennadher Christophe Rigotti Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. 32-47 2002 conf/lopstr/2002 LOPSTR http://link.springer.de/link/service/series/0558/bibs/2664/26640032.htm db/conf/lopstr/lopstr2002.html#AbdennadherR02