%0 Journal Article %A Bellia, M. %T Logic and functional programming by retractions : operational semantics %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1988 %P 395-436 %V 22 %N 4 %I EDP-Sciences %G en %F ITA_1988__22_4_395_0