@misc{indiciae0fbfb7994042,
  title = {18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)},
  author = {Puri Arenas and Damiano Zanardini},
  year = {2009},
  url = {https://arxiv.org/abs/0903.1598},
  note = {Source identifier: 0903.1598}
}