L. Hornfeldt, Stockholm, mid-80's. Symbolic math, especially General Relativity. Implemented on top of SHEEP and MACSYMA.
Try this search on Wikipedia, OneLook, Google
Nearby terms: steganography « stemmer « stemming « STENSOR » STEP » Stephen Cole Kleene » Stephen Jobs
