Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh. Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. Journal of Automated Reasoning, 19(3):319-346, 1997.
@article{BundyGVW97,
title = {Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem},
author = {Alan Bundy and Fausto Giunchiglia and Adolfo Villafiorita and Toby Walsh},
year = {1997},
researchr = {https://researchr.org/publication/BundyGVW97},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {19},
number = {3},
pages = {319-346},
}