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

by J D C Richardson, A Smaill, I M Green
Venue:Proceedings of CADE-15, volume 1421 of Lecture Notes in Computer Science