Sun, H. “QoS-Aware Ubiquitous Service Composition Based on Linear Logic Inference Rules”. International Journal of Online and Biomedical Engineering (iJOE), vol. 9, no. S2, Mar. 2013, pp. pp. 41-45, doi:10.3991/ijoe.v9iS2.2570.