Ecological partial deduction: Preserving characteristic trees without constraints (1995)

by M Leuschel
Venue:Logic Program Synthesis and Transformation. Proceedings of LOPSTR'95, LNCS 1048, 1--16