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]
@inproceedings{Truszczynski09,
title = {Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs},
author = {Miroslaw Truszczynski},
year = {2009},
doi = {10.1007/978-3-642-02846-5_18},
url = {http://dx.doi.org/10.1007/978-3-642-02846-5_18},
tags = {semantics, logic programming, logic},
researchr = {https://researchr.org/publication/Truszczynski09},
cites = {0},
citedby = {0},
pages = {175-189},
booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
editor = {Patricia M. Hill and David Scott Warren},
volume = {5649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02845-8},
}