Metatheory and re in theorem proving: A survey and critique (1995)

by J Harrison