An abstract proof checker (1992)

by F Giunchiglia, T Walsh
Venue:In Proc. 2nd Intnl. Conference on Arti Intelligence and Mathematics, Fort