References

McCarthy 1964

McCarthy, J. 1964. a tough nut for theorem provers. Stanford AI Memo 16--now on the web.

McCarthy 1996

McCarthy, J. 1996. the mutilated checkerboard in set theory. presented at a 1996 conference in Warsaw.

Subramanian 1993

Subramanian, S. 1993. A Mechanized Framework for Specifying Problem Domains and Verifying Plans. PhD thesis, University of Texas, Austin.

Uribe and Stickel 1994

Uribe, T., and M. Stickel. 1994. Ordered binary decision diagrams and the davis-putnam procedure. In J. P. Drummond (Ed.), Lecture Notes on Computer Science, First international conference on constraints in computational logics, Vol. 845. Springer, September.