"QRAT Polynomially Simulates ∀ \text -Exp+Res."

Benjamin Kiesl, Martina Seidl (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics