Using Meta-level Inference for Selective Application of Multiple Rewriting Rule Sets in Algebraic Manipulation (1981)

by A Bundy, B Welham
Venue:Artificial Intelligence, Vol