C. Barrett, R. Sebastiani, S. Seshia, and C. Tinelli. Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)
K. Macherey, A. Dai, D. Talbot, A. Popat, and F. Och. Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL-11), Portland, OR, (2011)
J. Tiedemann, and G. Kotzé. Proceedings of the Workshop on Natural Language Processing Methods and Corpora in Translation, Lexicography, and Language Learning, page 33--39. Borovets, Bulgaria, Association for Computational Linguistics, Association for Computational Linguistics, (2009)
V. Zhechev, and A. Way. Proceedings of the 22nd International Conference on Computational Linguistics, 1, page 1105--1112. Manchester, Association for Computational Linguistics, Association for Computational Linguistics, (2008)
Y. Graham, and J. van Genabith. Proceedings of the Fourth International Workshop on Syntax and Structure in Statistical Translation, Beijing, China, The 23rd International Conference on Computational Linguistics, (2010)
D. Genzel, J. Uszkoreit, and F. Och. Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, page 158--166. Association for Computational Linguistics, (2010)
C. Conway, and C. Barrett. Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, chapter 28, Springer Berlin / Heidelberg, Berlin, Heidelberg, (2010)