@InProceedings{bauer:kuester:vegliach:RV13,
  author =	 {Andreas Bauer and Jan-Christoph K\"uster and Gil Vegliach},
  editor =       {Axel Legay and Saddek Bensalem},
  title =	 {From propositional to first-order monitoring},
  booktitle =	 {Proceedings of the 4th International Conference on Runtime Verification (RV)},
  year =	 2013,
  series =	 {Lecture Notes in Computer Science},
  volume =	 8174,
  pages =        {59--75},
  month =	 Sep,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {}
}