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