@misc{indiciae383eb0b7ecab,
  title = {Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain},
  author = {Alexander Serebrenik and Susana Munoz-Hernandez},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0508078},
  note = {Source identifier: cs/0508078}
}