Abduction and induction : - Flach, Peter A.; Kakas, Antonis C. (Applied logic series, 2000)