Jinghai Rao Peep Küngas Mihhail Matskin Composition of Semantic Web services using Linear Logic theorem proving. 340-360 2006 31 Inf. Syst. 4-5 http://dx.doi.org/10.1016/j.is.2005.02.005 db/journals/is/is31.html#RaoKM06