@inproceedings{baader:bauer:tiu:unif08,
  author =	 {Franz Baader and Andreas Bauer and Alwen Tiu},
  editor =       {M. Marin},
  title =	 {Matching linear and non-linear trace patterns with
                  regular policies},
  PUBLISHER =	 {Research Institute for Symbolic Computation, 
                  Johannes Kepler University},
  ADDRESS =      {Linz, Austria},
  BOOKTITLE =	 {Proceedings of the 22nd International Workshop
                  on Unification (UNIF), RISC-Linz Report Series, 
                  no.~08-11},
  PAGES =        {16--24},
  YEAR =	 2008,
  MONTH =	 Jul
}