Using Constraint Technology for Predictive Control of Urban Traffic Based on Qualitative and Temporal Reasoning | Publicación