Representation and Inference for Natural Language: A First Course ...
Patrick Blackburn & Johannes Bos