Language for the On-Line Investigation and Transformation of Abstractions(LOLITA) An extension of the {Culler-Fried System} for {symbolic mathematics}. ["An On- line Symbol Manipulation System", F.W. Blackwell, Proc ACM 22nd Natl Conf, 1967]. [Sammet 1969, p. 464]. (2003-07-29)