Declarative Diagnosis of Temporal Concurrent Constraint Programs
2007 ◽
pp. 271-285
◽