Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
scientific article; zbMATH DE number 5843089
scientific article