Declarative Programming with Temporal Constraints, in the Language CG. - Negreanu, Lorina (Scientific World Journal, 2015)