Experiments with a Symbolic Evaluation System (1976)

by W E Howden
Venue:AFIPS Conference Proceedings 45