Stefan Edelkamp Peter Leven Directed Automated Theorem Proving. 145-159 2002 conf/lpar/2002 LPAR http://link.springer.de/link/service/series/0558/bibs/2514/25140145.htm db/conf/lpar/lpar2002.html#EdelkampL02