%0 Journal Article %A Bellia, M. %T Logic and functional programming by retractions %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1988 %P 271-310 %V 22 %N 3 %I EDP-Sciences %G en %F ITA_1988__22_3_271_0