Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

From MaRDI portal
(Redirected from Publication:622117)