Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)

Patricia M. Hill Wim Vanhoof Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) http://arxiv.org/abs/0712.3116 2007 CoRR abs/0712.3116 db/journals/corr/corr0712.html#abs-0712-3116 informal publication