Logic and functional programming by retractions M. Bellia RAIRO-Theor. Inf. Appl., 22 3 (1988) 271-310 Published online: 03 February 2017 DOI: 10.1051/ita/1988220302711