APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING.

purl.stanford.edu/jf633pm7868