This is a 1985 note aimed at regarding STRIPS as a proof strategy for an interactive theorem prover using a situation calculus formalism. It doesn't quite get there.
There are html, dvi, postscript, and pdf versions of this note.
Up to: My (John McCarthy's) main page
Send comments to mccarthy@stanford.edu. I sometimes make changes suggested in them. - John McCarthy
The number of hits on this page since 2002 Oct 26.