Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language