Matrix-Based Inductive Theorem Proving.

Christoph Kreitz, Brigitte Pientka

Browse the full TABLEAUX paper archive.