@InProceedings{sanchez10regular,
  author = 	 {C\'{e}sar S\'{a}nchez and Martin Leucker},
  title = 	 {Regular Linear Temporal Logic with Past},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc. of the 11th Int'l Conf on Verification, Model Checking and Abstract Interpretation},
  OPTpages = 	 {},
  year = 	 {2010},
  editor = 	 {Gilles Barthe and Manuel Hermenegildo},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes in Computer Science},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}