J. Srba, “Note on the Tableau Technique for Commutative Transition Systems”, BRICS, vol. 8, no. 50, Dec. 2001.