Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello. Event choice datalog: a logic programming language for reasoning in multiple dimensions. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 238-249, ACM, 2004. [doi]
Abstract is missing.