The complexity of resolution with generalized symmetry rules (bibtex)
by
Reference:
The complexity of resolution with generalized symmetry rulesStefan SzeiderProceedings of the 20th International Symposium on Theoretical Aspects of Computer Science (STACS'03) (Helmut Alt, Michel Habib, eds.), volume 2607 of Lecture Notes in Computer Science, pages 475-486, 2003.
Bibtex Entry:
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{Szeider03c,
author = 	 {Stefan Szeider},
title = 	 {The complexity of resolution with generalized
symmetry rules },
booktitle = 	 {Proceedings of the 20th International Symposium on
Theoretical Aspects of Computer Science (STACS'03)},
year = 	 {2003},
editor = 	 {Helmut Alt and Michel Habib},
series = 	 LNCS,
volume =       {2607},
pages  =       {475-486},
}