Mohammad Said Desouki Ana Simonet Michel Simonet Processing Deductions in an Active Fashion. 23-29 1996 DEXA Workshop db/conf/dexaw/dexaw96.html#DesoukiSS96