@inproceedings{Szeider03c,
 author = {Stefan Szeider},
 booktitle = {Proceedings of the 20th International Symposium on 
Theoretical Aspects of Computer Science (STACS'03)},
 editor = {Helmut Alt and Michel Habib},
 pages = {475-486},
 series = {Lecture Notes in Computer Science},
 title = {The complexity of resolution with generalized 
symmetry rules },
 volume = {2607},
 year = {2003}
}