Using Event Calculus for Protocol Specification: An Experiment. - Marc Denecker; Guy Duchatelet; Frank Piessens; Kristof Van Belleghem; Danny De Schreye (Deductive Databases / Abduction in Deductive Databases, 1995)

A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. - Marc Denecker; Kristof Van Belleghem; Guy Duchatelet; Frank Piessens; Danny De Schreye (JICSLP, 1996)