Computing Ground Congruence Classes.

Hendrik Leidinger, Christoph Weidenbach

Browse the full CADE paper archive.