[6] Rob Miller,
Notes on Deductive and Abductive Planning in the Event Calculus
, July, 1996. [
Abstract, with link to postscript
].