A Universal Top-Down Fixpoint Algorithm (291)

by Baudouin Le Charlier, Pascal Van Hentenryck