The Implementation of Mazurkiewicz Traces in POEM.

Peter Niebert, Hongyang Qu

Browse the full ATVA paper archive.