Louis E. Rosier Hsu-Chun Yen A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. 105-135 1986 32 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss32.html#RosierY86