C. Welch, J. Kummerfeld, V. Pérez-Rosas, and R. Mihalcea. Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), page 4076--4089. Online, Association for Computational Linguistics, (November 2020)
A. Camargo, J. Stern, and M. Lauretto. AIP Conference Proceedings, 1443, page 206--213. Waterloo, Ontario, Canada, American Institute of Physics, (May 2012)
M. Baroni, and R. Zamparelli. Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, page 1183--1193. Stroudsburg, PA, USA, Association for Computational Linguistics, (2010)
M. Bobaru, C. Pasareanu, and D. Giannakopoulou. CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, page 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)
E. Clarke, D. Long, and K. McMillan. Proceedings of Fourth Annual Symposium on Logic in Computer Science, page 353--361. Washington D.C., IEEE Computer Society Press, (1989)
K. McMillan. CHARME '99: Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, page 219--234. London, UK, Springer-Verlag, (1999)