Renwei Li Luís Moniz Pereira Temporal Reasoning with Abductive Logic Programming. 13-17 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#LiP96