On the Mechanization of Abductive Logic

Open in new window