c-cscsi-92-221Charles Elkan.
Reasoning about Action in First-Order Logic. [postscript]
Proc. Conference of the Canadian Society for Computational Studies of Intelligence, 1992, pp. 221-227.