Alvaro del Val The Complexity of Restricted Consequence Finding and Abduction. 337-342 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#Val00a