Helmut Seidl

Partial Correctness of the Top-Down Solver

by Yannick Stade, Sarah Tilscher and Helmut Seidl