JAffer's CAnonical ALgebra.
A symbolic mathematics program written in Scheme by A. Jaffer <jaffer@zurich.ai.mit.edu>.
FTP
(07 Dec 1994)