A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.

Peter Niebert, Barbara Sprick

Browse the full TABLEAUX paper archive.