Sergei Litvak Madis Saluveer Tiit Roosmaa Haldur Oim On the Interaction of Knowledge Representation and Reasoning Mechanism in Discourse Comprehension. 125-126 1982 ECAI db/conf/ecai/ecai82.html#LitvakSRO82