Kiesl, Benjamin: A Unifying Principle for Clause Elimination in First-Order Logic. . In: Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, S.274290
Inhalt