The Use of Renaming in Composing General Programs

Antonio Brogi, Simone Contiero, Franco Turini
January 1998
Cite DOI
Type
Conference paper
Publication
Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings

Add the full text or supplementary notes for the publication here using Markdown formatting.