%0 Journal Article %1 journals/corr/abs-0712-3116 %A Hill, Patricia M. %A Vanhoof, Wim %D 2007 %J CoRR %K dblp %T Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) %U http://dblp.uni-trier.de/db/journals/corr/corr0712.html#abs-0712-3116 %V abs/0712.3116

@article{journals/corr/abs-0712-3116, added-at = {2018-08-13T00:00:00.000+0200}, author = {Hill, Patricia M. and Vanhoof, Wim}, biburl = {https://www.bibsonomy.org/bibtex/2ef54adeb5d6f0f471fb005930b23182b/dblp}, ee = {http://arxiv.org/abs/0712.3116}, interhash = {6ef3ed1e22d41af0ae69871a1b9a948d}, intrahash = {ef54adeb5d6f0f471fb005930b23182b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:30:32.000+0200}, title = {Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0712.html#abs-0712-3116}, volume = {abs/0712.3116}, year = 2007 }