Adil Kabbaj Bernard Moulin Jeremi Gancet David Nadeau Olivier Rouleau Uses, Improvements, and Extensions of Prolog+CG : Case Studies. 346-359 2001 conf/iccs/2001 ICCS http://link.springer.de/link/service/series/0558/bibs/2120/21200346.htm db/conf/iccs/iccs2001.html#KabbajMGNR01