Alternative Treatments of Common Binary Relations in First-order Automated Reasoning.

Koen Claessen, Ann Lilliestrm

Browse the full CADE paper archive.