C
[CGM+95] Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, and Xudong Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In DAC'95, pages 427-432. ACM Press, June 1995. 
@inproceedings{dac1995-CGMZ,
  author =              {Clarke, Edmund M. and Grumberg, Orna and McMillan,
                         Kenneth L. and Zhao, Xudong},
  title =               {Efficient Generation of Counterexamples and
                         Witnesses in Symbolic Model Checking},
  booktitle =           {{P}roceedings of the 32nd {D}esign {A}utomation
                         {C}onference ({DAC}'95)},
  acronym =             {{DAC}'95},
  publisher =           {ACM Press},
  pages =               {427-432},
  year =                {1995},
  month =               jun,
}
List of authors