Mario Borillo Bruno Gaume An Extension to Kowalski & Sergot's Event Calculus. 99-104 1990 ECAI db/conf/ecai/ecai90.html#BorilloG90