Modularity and Temporal Reasoning: a Logic Programming Approach - Nogueira, Vitor; Abreu, Salvador (2007)