TY  - RPRT
TI  - Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
AU  - Wim Vanhoof
AU  - Susana Munoz-Hernandez
PY  - 2007
UR  - https://arxiv.org/abs/cs/0701148
ID  - cs/0701148
ER  -