pdf bibSolving logic puzzles: From robust processing to precise semanticsIddo Lev | Bill MacCartney | Christopher Manning | Roger LevyProceedings of the 2nd Workshop on Text Meaning and Interpretation