@InProceedings{infinity2007,
  author =	 "M. K{\v{r}}et\'{\i}nsk\'{y} and V. {\v{R}}eh\'{a}k and J. Strej\v{c}ek",
  title =	 "{On Decidability of LTL+Past Model Checking for
Process Rewrite Systems}",
  booktitle =    "Preliminary Proceedings of the 9th International Workshop
                  on Verification of Infinite-State Systems, INFINITY'2007", 
  year =	 "2007",
  pages = 	 "1--11",
  publisher =	 "Univerisity of Lisboa"
}