Michael Burnett Monagan
Univ. of Waterloo, Waterloo, Ont., Canada
Hierarchical representations with signatures for large expression management
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation