Language for the On-Line Investigation and Transformation of Abstractions
Nguage> (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)