Directed Automated Theorem Proving.

Stefan Edelkamp, Peter Leven

Browse the full LPAR paper archive.