Logic and functional programming by retractions : operational semantics M. Bellia — 1988 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Logic and functional programming by retractions M. Bellia — 1988 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications