Computing transitivity tables: A challenge for automated theorem provers (1992)

by D A Randell, A G Cohn, Z Cui
Venue:In Proceedings of the 11th CADE