Srba, J. Note on the Tableau Technique for Commutative Transition Systems. BRICS 2001, 8.