Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.

Reinhold Letz, Gernot Stenz

Browse the full LPAR paper archive.