A conceptual embedding of folding into partial deduction: Towards a maximal integration (1996)

by M Leuschel, D De Schreye, A de Waal
Venue:Proceedings of the Joint International Conference and Symposium on Logic Programming JICSLP’96