Benchmark Problems in Which Equality Plays the Major Role.

Ewing L. Lusk, Larry Wos

Browse the full CADE paper archive.