Julian Richardson Alan Smaill Ian Green System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. 129-133 1998 conf/cade/1998 CADE db/conf/cade/cade98.html#RichardsonSG98 http://link.springer.de/link/service/series/0558/bibs/1421/14210129.htm