@InProceedings{FarinaCM2019,
  author = 	 {Farina, Gian Pietro and Stephen Chong and Marco Gaboardi},
  title = 	 {Relational Symbolic Execution},
  year = 	 2019,
  booktitle =	 {Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming},
  month = 	 oct,
  publisher =    {ACM},
  address = 	 {New York, NY, USA}
}