Application of theorem proving to problem solving. (1969)

by C C Green
Venue:In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-69),