Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic.

Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu

Browse the full ISKE paper archive.