Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory.

Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng

Browse the full ICMLC paper archive.