@inproceedings{Baader_BT_09,
    isbn             = {978-3-642-00981-5},
    publisher        = {Springer},
    booktitle        = {3rd International Conference on Language and Automata Theory and Applications (LATA)},
    month            = nov,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/2307.pdf},
    year             = {2009},
    editor           = {{A. Horia Dediu, A.-M. Ionescu, C. Martín-Vide}},
    title            = {Matching trace patterns with regular policies},
    author           = {Baader, Franz and Bauer, Andreas and Tiu, Alwen},
    address          = {Spain},
    pages            = {105--116}
  }