Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.

Miroslaw Truszczynski

Browse the full ICLP paper archive.