Ricardo Caferra, Michel Herment. GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. In Alfonso Miola, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings. Volume 722 of Lecture Notes in Computer Science, pages 229-240, Springer, 1993.
@inproceedings{CaferraH93,
title = {GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics},
author = {Ricardo Caferra and Michel Herment},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/CaferraH93},
cites = {0},
citedby = {0},
pages = {229-240},
booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings},
editor = {Alfonso Miola},
volume = {722},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57235-X},
}