Laura Bozzelli Mojmír Kretínský Vojtech Rehák Jan Strejcek On decidability of LTL model checking for process rewrite systems. 1-28 2009 46 Acta Inf. 1 http://dx.doi.org/10.1007/s00236-008-0082-3 db/journals/acta/acta46.html#BozzelliKRS09