KANT V4. - Mario Daberkow; Claus Fieker; Jürgen Klüners; Michael Pohst; K. Roegner; Martin Schörnig; Klaus Wildanger (J. Symb. Comput., 1997)