Compositional model-theoretic semantics for logic programs
scientific article; zbMATH DE number 146936
scientific article