next up previous
Next: References Up: CREATIVE SOLUTIONS TO Previous: Standard proof


I am indebted to Tom Costello for both scientific and TeXnical help.

The work was supported by the Air Force Office of Scientific Research New World Vistas program and by the Defense Advanced Research Projects Agency High Performance Knowledge Bases program.

John McCarthy
Mon Mar 29 15:20:19 PST 1999