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

by D Randell, A Cohn, Z Cui
Venue:In Proceedings CADE, LNCS