Stefania Costantini, Pierangelo Dell Acqua, Gaetano Aurelio Lanzarone. Extending Horn Clause Theories by Reflection Principles. In Craig MacNish, David Pearce, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 94, York, UK, September 5-8, 1994, Proceedings. Volume 838 of Lecture Notes in Computer Science, pages 400-413, Springer, 1994.
Abstract is missing.