Miroslaw Truszczynski. Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 175-189, Springer, 2009. [doi]
Abstract is missing.