[
comp.lang.prolog
] Algebraic simplification algorythm
bondc@silver.bacs.indiana.edu
(10/06/87)
A-L-G-O-R-I-T-H-M