@InProceedings{Stenz2005,
  author =       "Gernot Stenz",
  title =        "Unit {P}ropagation in a {T}ableau {F}ramework",
  pages =        "338-342",
  editor =       "Bernhard Beckert",
  booktitle =    "Proceedings of {TABLEAUX}-2005, Koblenz, Germany",
  month =        sep,
  year =         "2005",
  series =       "Lecture Notes in Artificial Intelligence",
  volume =       "3702",
  publisher =    "{S}pringer, {B}erlin",
}