@article{MoellerStruth2006,
  author    = {Bernhard M{\"o}ller and Georg Struth},
  title     = {wp is wlp},
  journal   = {Lecture Notes in Computer Science},
  volume    = {3929},
  pages     = {200 -- 211},
  doi       = {10.1007/11734673_16},
  year      = {2006},
}