@STRING{vlsisoc   = {VLSI of System-on-Chip} }
@InProceedings{WFG+:2007,
  author        = {Robert Wille and G\"orschwin Fey and Daniel Gro{\ss}e and Stephan Eggersgl\"u{\ss} and Rolf Drechsler},
  title         = {SWORD: A {SAT} like Prover using Word Level Information},
  booktitle     = vlsisoc,
  pages         = {88--93},
  year          = 2007
}