Patrick Blackburn Michael Kohlhase Inference and Computational Semantics. 117-120 2004 13 Journal of Logic, Language and Information 2 http://dx.doi.org/10.1023/B:JLLI.0000024788.38738.bb db/journals/jolli/jolli13.html#BlackburnK04