Ecce partial deduction system. http://www.cs.kuleuven.ac.be/ dtai/prototypes/ecce.html (0)

by Michael Leuschel