author = {Dureja, Rohit and Li, Jianwen and Pu, Geguang and Vardi, Moshe Y. and Rozier, Kristin Y.},
  title = {{Intersection and Rotation of Assumption Literals Boosts Bug-Finding}},
  publisher = {Springer, Cham},
  booktitle = {Proceedings of Verified Software: Theories, Tools, and Experiments (VSTTE)},
  address = {New York, USA},
  editors = {Supratik Chakraborty and Jorge A. Navas},
  month = jul,
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-41600-3_12},
  preprint = {../papers/DLRVR19.pdf},
  slides = {../papers/DLRVR19-slides.pdf},
  website = {http://temporallogic.org/research/VSTTE19/}