Cristina Ribeiro António Porto Abduction in Temporal Reasoning. 349-364 1994 conf/ictl/1994 ICTL db/conf/ictl/ictl1994.html#RibeiroP94 http://dx.doi.org/10.1007/BFb0013998