@inproceedings{DBLP:conf/cade/EichenlaubEHKP90,
 author = {Carl Eichenlaub and
Bruce Esrig and
James Hook and
Carl Klapper and
Garrel Pottinger},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/cade/EichenlaubEHKP90.bib},
 booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
 doi = {10.1007/3-540-52885-7_125},
 editor = {Mark E. Stickel},
 pages = {651--652},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:39 +0200},
 title = {The Romulus Proof Checker},
 url = {https://doi.org/10.1007/3-540-52885-7_125},
 volume = {449},
 year = {1990}
}