"Counting Answers to Existential Questions."

Holger Dell, Marc Roth, Philip Wellnitz (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics