The ECCE partial deduction system and the DPPD library of benchmarks, Release 3 (2000)

by M Leuschel