Resolution in type theory (1971)

by P B Andrews
Venue:Journal of Symbolic Logic