Orna Kupferman, Amir Pnueli, Moshe Y. Vardi. Once and for all. J. Comput. Syst. Sci., 78(3):981-996, 2012. [doi]
@article{KupfermanPV12,
title = {Once and for all},
author = {Orna Kupferman and Amir Pnueli and Moshe Y. Vardi},
year = {2012},
doi = {10.1016/j.jcss.2011.08.006},
url = {http://dx.doi.org/10.1016/j.jcss.2011.08.006},
researchr = {https://researchr.org/publication/KupfermanPV12},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {981-996},
}