Global Analysis of Standard Prolog Programs.

Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germn Puebla

Browse the full ESOP paper archive.