Sun, H. QoS-Aware Ubiquitous Service Composition Based on Linear Logic Inference Rules. Int. J. Onl. Eng. 2013, 9, pp. 41-45.