Abstract Interpretation and Recursive Behaviour of Logic Programs.

Christophe Lecoutre, Philippe Devienne, Patrick Lebgue

Browse the full LOPSTR paper archive.