Denis Bernard Mario Borillo Bruno Gaume From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance. 195-221 1991 1 Appl. Intell. 3 http://dx.doi.org/10.1007/BF00118997 db/journals/apin/apin1.html#BernardBG91