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