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 http://www.aaai.org/Library/AAAI/2000/aaai00-052.php