@misc{indiciaeb13d6a44bfb8,
  title = {Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)},
  author = {Rafael Caballero and John Gallagher},
  year = {2010},
  url = {https://arxiv.org/abs/1002.4535},
  note = {Source identifier: 1002.4535}
}