C
[CEJ+98] Edmund M. Clarke, E. Allen Emerson, Somesh Jha, and A. Prasad Sistla. Symmetry Reductions in Model Checking. In CAV'98, Lecture Notes in Computer Science 1427, pages 147-158. Springer-Verlag, June 1998. 
@inproceedings{cav1998-CEJS,
  author =              {Clarke, Edmund M. and Emerson, E. Allen and Jha,
                         Somesh and Sistla, A. Prasad},
  title =               {Symmetry Reductions in Model Checking},
  editor =              {Hu, Alan J. and Vardi, Moshe Y.},
  booktitle =           {{P}roceedings of the 10th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'98)},
  acronym =             {{CAV}'98},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1427},
  pages =               {147-158},
  year =                {1998},
  month =               jun,
  doi =                 {10.1007/BFb0028741},
}
List of authors