Fully abstract compositional semantics for an algebra of logic programs
scientific article; zbMATH DE number 985144
scientific article