@inproceedings{DLPRV19,
author = {Rohit Dureja and Jianwen Li and Geguang Pu and Kristin Yvonne Rozier and Moshe Vardi},
title = {Intersection and Rotation of Assumption Literals Boosts Bug-Finding},
booktitle = {{Proceedings of the 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)}},
volume = {12031},
series = {Lecture Notes in Computer Science (LNCS)},
pages = {180-192},
publisher = {Springer-Verlag},
address = {New York, New York, USA},
month = {July},
year = {2019},
}