Abductive reasoning : logical investigations into discovery and explanation - Aliseda, Atocha (Synthese library ;, 2006)