Declarative Programming with Temporal Constraints, in the Language CG

Table 1

Name	Total	Auto	Manual	Reviewed	Undischarged
Rules	9	6	3	0	0
Rules_c0	6	4	2	0	0
Rules0	3	2	1	0	0