Resolution in type theory (1971)

by Peter B Andrews
Venue:Journal of Symbolic Logic