JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.

Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin

Browse the full CADE paper archive.