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.
@inproceedings{ConstantiniDL94,
title = {Extending Horn Clause Theories by Reflection Principles},
author = {Stefania Costantini and Pierangelo Dell Acqua and Gaetano Aurelio Lanzarone},
year = {1994},
tags = {principles, reflection},
researchr = {https://researchr.org/publication/ConstantiniDL94},
cites = {0},
citedby = {0},
pages = {400-413},
booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA 94, York, UK, September 5-8, 1994, Proceedings},
editor = {Craig MacNish and David Pearce and Luís Moniz Pereira},
volume = {838},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58332-7},
}