Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng. Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. In International Conference on Machine Learning and Cybernetics, ICMLC 2012, Xian, Shaanxi, China, July 15-17, 2012, Proceedings. pages 1859-1865, IEEE, 2012. [doi]
Abstract is missing.