System description: proof planning in higher-order logic with Lambda-Clam (1998)

by J D C Richardson, A Smaill, I Green
Venue:In CADE’98, volume 1421 of LNCS