TY  - RPRT
TI  - 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
AU  - Puri Arenas
AU  - Damiano Zanardini
PY  - 2009
UR  - https://arxiv.org/abs/0903.1598
ID  - 0903.1598
ER  -