Logic and functional programming by retractionsM. BelliaRAIRO-Theor. Inf. Appl., 22 3 (1988) 271-310DOI: https://doi.org/10.1051/ita/1988220302711
