Fully Abstract Composition Semantics for an Algebra of Logic Programs

Publication
Theor. Comput. Sci.

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