The ecce Partial Deduction System (1997)

by M Leuschel
Venue:In Proc. of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, U.P