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

*Computing Transivity Tables: A Challenge For Automated Theorem Provers*

CADE, 1992.

@inproceedings{CADE-1992-RandellCC, author = "David A. Randell and Anthony G. Cohn and Zhan Cui", booktitle = "{Proceedings of the 11th International Conference on Automated Deduction}", doi = "10.1007/3-540-55602-8_225", isbn = "3-540-55602-8", pages = "786--790", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Computing Transivity Tables: A Challenge For Automated Theorem Provers}", volume = 607, year = 1992, }