Constrained Partial Deduction and the Preservation of Characteristic Trees

Michael Leuschel, Danny De Schreye. Constrained Partial Deduction and the Preservation of Characteristic Trees. New Generation Comput., 16(3):283-342, 1998.

Abstract

Abstract is missing.