Philippe Balbiani Sur la finitude des dérivations de la programmation en logique. 194-209 1992 conf/jfplc/1992 JFPL db/conf/jfplc/jfpl1992.html#Balbiani92