Walther, Wehrheim, 2013. Knowledge-Based Verification of Service Compositions -- An SMT Approach, in: . IEEE.. https://doi.org/10.1109/iceccs.2013.14