A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints (1997)

Cached

Download Links

by Peter Niebert , Barbara Sprick