Representation And Inference For Natural Language by Johan Bos & Patrick Blackburn