Knowledge Representation and the Semantics of Natural Language - Helbig, Hermann; Gabbay, Dov M.; Siekmann, Jörg (Springer Berlin Heidelberg, 2006)