(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].