"A Unifying Principle for Clause Elimination in First-Order Logic."

Benjamin Kiesl, Martin Suda (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics