The Reach of Abduction: insight and trial: a practical logic of cognitive systems. Vol. 2, Dov M. Gabbay and John Woods, Amsterdam, Elsevier, 2005, 476 or.