A practical logic of cognitive systems volume 2 the reach of abduction insight and trial

dov m.gabbay and john woods