@Article{infinity2007-entcs,
  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}", 
  journal =      "Electronic Notes in Theoretical Computer Science",    
  year =         "2009",
  volume =       "239",
  pages =        "105--117",
  note =         "Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008)",
  issn =         "1571-0661",
  doi =          "DOI: 10.1016/j.entcs.2009.05.033",
}