Stephan Schmitt Lori Lorigo Christoph Kreitz Aleksey Nogin JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. 421-426 2001 conf/cade/2001 IJCAR http://link.springer.de/link/service/series/0558/bibs/2083/20830421.htm db/conf/cade/ijcar2001.html#SchmittLKN01