@TechReport{2008_maggi_traces,
  author = 	 {Federico Maggi},
  title = 	 {Specification and Evaluation of an Efficient Recognizer for Rational Trace Languages},
  institution =  {Politecnico di Milano},
  year = 	 {2008},
  number = 	 {TR-2008-23},
}