Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory.

Hongbiao Gao, Yuichi Goto, Jingde Cheng

Browse the full ACIIDS paper archive.