Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.

Alan Bundy, Bob Welham

Browse the full CADE paper archive.