@article{Szeider05e,
 author = {Stefan Szeider},
 journal = {Theory Comput. Syst.},
 number = {2},
 pages = {171-188},
 title = {The Complexity of Resolution with 
Generalized Symmetry Rules},
 url = {https://www.ac.tuwien.ac.at/files/pub/Szeider05e.pdf},
 volume = {38},
 year = {2005}
}