On the mechanization of abductive logic, in: (1972)

by H E Pople
Venue:Proceedings of the Third International Joint Conference on Artificial Intelligence,