TY  - RPRT
TI  - Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
AU  - Patricia Hill
AU  - Wim Vanhoof
PY  - 2007
UR  - https://arxiv.org/abs/0712.3116
ID  - 0712.3116
ER  -