Sylviane R. Schwer The Context-Freeness of the Languages Associated with Vector Addition Systems is Decidable. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:98, n:2, pp:199-247 [Journal]
Hsu-Chun Yen A Multiparameter Analysis of Domino Tiling with an Application to Concurrent Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:98, n:2, pp:263-287 [Journal]