Hoon Hong Andreas Neubacher Wolfgang Schreiner The Design of the SACLIB/PACLIB Kernels. 111-132 1995 19 J. Symb. Comput. 1-3 db/journals/jsc/jsc19.html#HongNS95