Evelina Lamma Michela Milano Paola Mello Extending Constraint Logic Programming for Temporal Reasoning. 139-158 1998 22 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai22.html#LammaMM98