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)