Francesco M. Donini Maurizio Lenzerini Daniele Nardi An Efficient Method for Hybrid Deduction. 246-252 1990 ECAI db/conf/ecai/ecai90.html#DoniniLN90