Metatheoretic and Reflexive Reasoning in Mechanical Theorem Proving (1992)

by Se'an Matthews