@inproceedings{baader:bauer:tiu:LATA:2009,
  editor =       {A. Horia Dediu and A.-M. Ionescu and C. Mart{\'i}n-Vide},
  author =	 {Franz Baader and Andreas Bauer and Alwen Tiu},
  title =	 {Matching trace patterns with regular policies},
  booktitle =	 {Proceedings of the 3rd International Conference on Language
                  and Automata Theory and Applications (LATA)},
  series =       {Lecture Notes in Computer Science},
  volume =       5457,
  pages =        {105--116},
  year =	 2009,
  month =	 Apr,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {978-3-642-00981-5}
}