Dynamic composition of parameterised logic modules

Publication
Comput. Lang.

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