X Zhao, E Liu, GJ Clapworthy, N Ye, Y Lu - 2011 7th International Conference on … - infona.pl
This paper introduces a two-stage Linear Logic based program synthesis approach to
automatic RESTful web service composition. The Linear Logic theorem proof is applied at …