@inproceedings{Szeider07c,
 author = {Stefan Szeider},
 booktitle = {Proceedings of SymCon'07, Seventh International Workshop 
on Symmetry and Constraint Satisfaction Problems, 
satellite workshop of CP 2007, September 23, 2007, 
Providence, RI, USA},
 editor = {B. Benhamou},
 pages = {5-8},
 title = {Without Loss of Generality - Symmetric Reasoning for 
Resolution Systems (Invited Talk)},
 url = {https://www.ac.tuwien.ac.at/files/pub/Szeider07c.pdf},
 year = {2007}
}