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