(CTL) The intermediate language used by theef="module.php?name=Lexikon&file=search&eid=1&query=ALICe">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)