Extending Horn Clause Theories by Reflection Principles.

Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone

Browse the full JELIA paper archive.