Application of Theorem Proving to Problem Solving.

C. Cordell Green

Browse the full IJCAI paper archive.