Volker Weispfenning 285-296 2006 41 J. Symb. Comput. 3-4 http://dx.doi.org/10.1016/j.jsc.2003.05.003 db/journals/jsc/jsc41.html#Weispfenning06