Michio Honda, Tatsuya Hagino, Etsuya Shibayama. Proof System. In Reiji Nakajima, Taiichi Yuasa, editors, The IOTA Programming System, A Modular Programming Environment. Volume 160 of Lecture Notes in Computer Science, pages 99-108, Springer, 1983.
@inproceedings{HondaHS83,
title = {Proof System},
author = {Michio Honda and Tatsuya Hagino and Etsuya Shibayama},
year = {1983},
researchr = {https://researchr.org/publication/HondaHS83},
cites = {0},
citedby = {0},
pages = {99-108},
booktitle = {The IOTA Programming System, A Modular Programming Environment},
editor = {Reiji Nakajima and Taiichi Yuasa},
volume = {160},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-12693-7},
}