On the 'Logical Form' of Abduction (1990)

by John R Josephson
Venue:Working Notes, AAAI Spring Symposium on Automated Abduction