H. Sun, “QoS-Aware Ubiquitous service Composition Based on Linear Logic Inference Rules”, Int. J. Onl. Eng., vol. 9, no. S2, pp. pp. 41–45, Mar. 2013.