@Inproceedings{EPTCS21.9,
  author    = {Boyer, Beno\^it and Genet, Thomas},
  year      = {2010},
  title     = {Verifying Temporal Regular Properties of   Abstractions of Term Rewriting Systems},
  editor    = {Mackie, Ian and Martins Moreira, Anamaria},
  booktitle = {{\rm Proceedings Tenth International Workshop on}
               Rule-Based Programming,
               {\rm Brasília, Brazil
, 28th June 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {21},
  publisher = {Open Publishing Association},
  pages     = {99-108},
  doi       = {10.4204/EPTCS.21.9},
}