C. Cordell Green. Application of Theorem Proving to Problem Solving. In IJCAI. pages 219-240, 1969.
@inproceedings{Green69:0, title = {Application of Theorem Proving to Problem Solving}, author = {C. Cordell Green}, year = {1969}, tags = {C++}, researchr = {https://researchr.org/publication/Green69%3A0}, cites = {0}, citedby = {0}, pages = {219-240}, booktitle = {IJCAI}, }