Marc Denecker, Kristof Van Belleghem: Temporal Reasoning with iff-Abduction. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 343-373