Luca Console Daniele Theseider Dupré Pietro Torasso On the Relationship between Abduction and Deduction. 661-690 1991 1 J. Log. Comput. 5 db/journals/logcom/logcom1.html#ConsoleDT91 https://doi.org/10.1093/logcom/1.5.661 https://www.wikidata.org/entity/Q60304764