Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation (1981)

by A Bundy, B Wellham
Venue:Artificial intelligence