Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.

Claudio Ochoa, Germn Puebla, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.