Three Improvements to the Top-Down Solver.

Helmut Seidl, Ralf Vogler

Browse the full PPDP paper archive.