Abstract specialization and its applications.

Germn Puebla, Manuel V. Hermenegildo

Browse the full PEPM paper archive.