The Design of the SACLIB/PACLIB Kernels (1995)

by Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
Venue:Journal of Symbolic Computation