Stefan Szeider. The Complexity of Resolution with Generalized Symmetry Rules. In Helmut Alt, Michel Habib, editors, STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Volume 2607 of Lecture Notes in Computer Science, pages 475-486, Springer, 2003. [doi]
@inproceedings{Szeider03:0,
title = {The Complexity of Resolution with Generalized Symmetry Rules},
author = {Stefan Szeider},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2607/26070475.htm},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/Szeider03%3A0},
cites = {0},
citedby = {0},
pages = {475-486},
booktitle = {STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings},
editor = {Helmut Alt and Michel Habib},
volume = {2607},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00623-0},
}