@article{ITA_1988__22_3_271_0, author = {Bellia, M.}, title = {Logic and functional programming by retractions}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {271--310}, publisher = {EDP-Sciences}, volume = {22}, number = {3}, year = {1988}, zbl = {0666.68011}, mrnumber = {963593}, language = {en}, url = {http://www.numdam.org/item/ITA_1988__22_3_271_0/} }