Thomas Wolf Programs for Applying Symmetries. 7-15 1995 ISSAC http://doi.acm.org/10.1145/220346.220348 db/conf/issac/issac95.html#Wolf95