@article{ITA_1988__22_4_395_0, author = {Bellia, M.}, title = {Logic and functional programming by retractions : operational semantics}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {395--436}, publisher = {EDP-Sciences}, volume = {22}, number = {4}, year = {1988}, zbl = {0666.68012}, mrnumber = {984584}, language = {en}, url = {http://www.numdam.org/item/ITA_1988__22_4_395_0/} }