The Design of the SACLIB/PACLIB Kernels. - Hoon Hong; Andreas Neubacher; Wolfgang Schreiner (J. Symb. Comput., 1995)