Masahiko Sato. A framework for checking proofs naturally. J. Intell. Inf. Syst., 31(2):111-125, 2008. [doi]
@article{Sato08:0, title = {A framework for checking proofs naturally}, author = {Masahiko Sato}, year = {2008}, doi = {10.1007/s10844-008-0059-2}, url = {http://dx.doi.org/10.1007/s10844-008-0059-2}, researchr = {https://researchr.org/publication/Sato08%3A0}, cites = {0}, citedby = {0}, journal = {J. Intell. Inf. Syst.}, volume = {31}, number = {2}, pages = {111-125}, }