@InProceedings{ALRLM03,
  author = 	 {Gilles~Audemard and  Bertrand Mazure and Lakdhar Sais },
  title = 	 {Dealing with symmetries in Quantified Boolean Formulas},
  booktitle = 	 {Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT2004)},
  year = 	 {2004},
}