@inproceedings{lev-EtAl:2004:TMI, author = {Lev, Iddo and MacCartney, Bill and Manning, Christopher and Levy, Roger}, title = {Solving logic puzzles: From robust processing to precise semantics}, booktitle = {ACL 2004: Second Workshop on Text Meaning and Interpretation}, editor = {Graeme Hirst and Sergei Nirenburg}, year = 2004, month = {July}, address = {Barcelona, Spain}, publisher = {Association for Computational Linguistics}, pages = {9--16} }