See also the project's web site.
Download ASDF package from http://common-lisp.net/project/cl-buchberger/cl-buchberger_latest.tar.gz
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively