Abduction and induction : essays on their relation and integration / edited by Peter A. Flach and Antonis C. Kakas. (Applied Logic Series, 2000)