Christophe Lecoutre Philippe Devienne Patrick Lebègue Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. 62-69 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#LecoutreDL91