Research Article

Declarative Programming with Temporal Constraints, in the Language CG

Figure 1

Unpacking states.