Computing Transivity Tables: A Challenge For Automated Theorem Provers.

David A. Randell, Anthony G. Cohn, Zhan Cui

Browse the full CADE paper archive.