INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, vol. 6, no. 3B, page. 1221 - 1229, 2010-03
MOBILE NETWORKS & APPLICATIONS, vol. 15, no. 5, page. 652 - 663, 2010-10
WIRELESS COMMUNICATIONS & MOBILE COMPUTING, vol. 13, no. 12, page. 1135 - 1149, 2013-08-25
Journal of Automated Reasoning, vol. 52, no. 2, page. 215 - 239, 2014-02