Manolis Gergatsoulis Panos Rondogiannis Themis Panayiotopoulos Temporal Disjunctive Logic Programming. 87- 2000 19 New Generation Comput. 1 db/journals/ngc/ngc19.html#GergatsoulisRP00