@STRING{glsvlsi	= {ACM Great Lakes Symposium on VLSI} }
@InProceedings{GWKD:2009,
  author        = {Daniel Gro{\ss}e and Robert Wille and Ulrich K\"uhne and Rolf Drechsler},
  title         = {Contradictory Antecedent Debugging in Bounded Model Checking},
  booktitle     = glsvlsi,
  pages         = {173--176},
  year          = 2009
}