A semantics for modular general logic programs
scientific article; zbMATH DE number 1238717