On the Mechanization of Abductive Logic (1973)

by H Pople
Venue:Proc. IJCAI 3, Menlo Park, Ca., IJCAI