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