@misc{indiciae1b26eafeca92,
  title = {Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)},
  author = {Rémy Haemmerlé and Jose Morales},
  year = {2013},
  url = {https://arxiv.org/abs/1308.2055},
  note = {Source identifier: 1308.2055}
}