Rank/Activity: A Canonical Form for Binary Resolution.

Joseph Douglas Horton, Bruce Spencer

Browse the full CADE paper archive.