Alain Colmerauer Solving the Multiplication Constraint in Several Approximation Spaces. 1 2001 conf/iclp/2001 ICLP http://link.springer.de/link/service/series/0558/bibs/2237/22370001.htm db/conf/iclp/iclp2001.html#Colmerauer01