Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng. Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. In Ding-Zhu Du, Guochuan Zhang, editors, Computing and Combinatorics, 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Volume 7936 of Lecture Notes in Computer Science, pages 697-704, Springer, 2013. [doi]
Abstract is missing.