On the mechanization of abductive logic (1973)

by Harry E Pople
Venue:In IJCAI