Arnaud Lallouet Preuves compositionnelles en programmation logique. 143-156 1995 conf/jfplc/1995 JFPLC db/conf/jfplc/jfplc1995.html#Lallouet95