A Sequent Calculus For Trace Formula Implication.

Niklas Heidler, Reiner Hhnle

Browse the full TABLEAUX paper archive.