DPPD (Dozens of Problems for Partial Deduction). http://www.cs.kuleuven.ac.be/ dtai/prototypes/dppd.html (0)

by Michael Leuschel