"System Description: Proof Planning in Higher-Order Logic with Lambda-Clam."

Julian Richardson, Alan Smaill, Ian Green (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics