@inproceedings{lev-etal-2004-solving,
    title = "Solving logic puzzles: From robust processing to precise semantics",
    author = "Lev, Iddo  and
      MacCartney, Bill  and
      Manning, Christopher  and
      Levy, Roger",
    booktitle = "Proceedings of the 2nd Workshop on Text Meaning and Interpretation",
    month = jul,
    year = "2004",
    address = "Barcelona, Spain",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/W04-0902",
    pages = "9--16",
}