Meta Level and Reflexive Extension in Mechanical Theorem Proving (1992)

by S Matthews