Srba, Jirí. “Note on the Tableau Technique for Commutative Transition Systems”. BRICS Report Series 8, no. 50 (December 4, 2001). Accessed December 25, 2025. https://tidsskrift.dk/brics/article/view/21711.