LOLITA

Language for the On-Line Investigation and Transformation of

Abstractions. Extension of Culler-Fried system for symbolic

math. "An On- line Symbol Manipulation System",

F.W. Blackwell, Proc ACM 22nd Natl Conf (1967). Sammet 1969,

p.464.