Temporal disjunctive logic programming - Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis (New generation computing, 2001)