Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics.

Alain Heuerding, Michael Seyfried, Heinrich Zimmermann

Browse the full TABLEAUX paper archive.