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]