Une analyse du comportement rcursif de programmes Prolog par une interprtation abstraite.

Christophe Lecoutre, Philippe Devienne, Patrick Lebgue

Browse the full SAS paper archive.