On the mechanization of abductive logic (1973)

by H Pople
Venue:In Proc. 3rd International Joint Conference on Artificial Intelligence (IJCAI’73