Jacques Cohen A Tribute to Alain Colmerauer. 637-646 2001 1 TPLP 6 db/journals/tplp/tplp1.html#Cohen01