E
[EK00] E. Allen Emerson and Vineet Kahlon. Reducing Model Checking of the Many to the Few. In CADE'00, Lecture Notes in Artificial Intelligence 1831, pages 236-254. Springer-Verlag, June 2000. 
@inproceedings{cade2000-EK,
  author =              {Emerson, E. Allen and Kahlon, Vineet},
  title =               {Reducing Model Checking of the Many to the~Few},
  editor =              {McAllester, David},
  booktitle =           {{P}roceedings of the 17th {I}nternational
                         {C}onference on {A}utomated {D}eduction ({CADE}'00)},
  acronym =             {{CADE}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Artificial Intelligence},
  volume =              {1831},
  pages =               {236-254},
  year =                {2000},
  month =               jun,
  doi =                 {10.1007/10721959_19},
}
List of authors