Complexity Analysis of Propositional Concurrent Programs Using Domino Tiling. - Hsu-Chun Yen; Namhee Pak (Math. Syst. Theory, 1993)