Progress in the development of automated theorem proving for higher-order logic. In (2009)

by G Sutcliffe, C Benzmuller, C E Brown, F Theiss
Venue:Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Proceedings,