Challenge Equality Problems in Lattice Theory.

William McCune

Browse the full CADE paper archive.