Janet Bases and Resolutions in CoCoALib.

Mario Albert, Matthias Fetzer, Werner M. Seiler

Browse the full CASC paper archive.