TY  - RPRT
TI  - Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain
AU  - Alexander Serebrenik
AU  - Susana Munoz-Hernandez
PY  - 2005
UR  - https://arxiv.org/abs/cs/0508078
ID  - cs/0508078
ER  -