A Generic Framework for the Analysis and Specialization of Logic Programs.

Germn Puebla, Elvira Albert, Manuel V. Hermenegildo

Browse the full ICLP paper archive.