Himanshu Gupta, Xianjin Zhu, Xiang Xu. Deductive Framework for Programming Sensor Networks. In Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China. pages 281-292, IEEE, 2009. [doi]