Contributors to CLIB/E (see also credits in the header files, normally
much more up to date):


Joachim Steinbach, steinbac@informatik.tu-muenchen.de:

- Most of the original code for term orderings (LPO and KBO).

Stephan Schulz, schulz@informatik.tu-muenchen.de:

- Everything not credited to somebody else.