Solving logic puzzles: from robust processing to precise semantics (2004)

by Iddo Lev, Bill MacCartney, Christopher D Manning, Roger Levy
Venue:In Proceedings of the 2nd Workshop on Text Meaning and Interpretation