(CTL) The intermediate language used by the ALICE parallel machine. ["The Design and Implementation of ALICE: A Parallel Graph Reduction Machine", M.D. Cripps et al, Proc Workshop on Graph Reduction, Springer 1987]. (1994-11-14)