TY - JOUR AU - Bellia, M. TI - Logic and functional programming by retractions JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1988 DA - 1988/// SP - 271 EP - 310 VL - 22 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1988__22_3_271_0/ UR - https://zbmath.org/?q=an%3A0666.68011 UR - https://www.ams.org/mathscinet-getitem?mr=963593 LA - en ID - ITA_1988__22_3_271_0 ER -