"Three Improvements to the Top-Down Solver."

Helmut Seidl, Ralf Vogler (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics