@inproceedings{lev2004logic,
 author = {Iddo Lev and Bill MacCartney and Christopher D. Manning and Roger Levy},
 booktitle = {ACL 2004 Workshop on Text Meaning and Interpretation},
 title = {Solving logic puzzles: from robust processing to precise semantics},
 url = {https://nlp.stanford.edu/pubs/lev2004logic.pdf},
 year = {2004}
}