CTR-S: a logic for specifying contracts in semantic web services.

@inproceedings{davulcu-2004-ctrs, author = {Hasan Davulcu and Michael Kifer and I. V. Ramakrishnan}, editor = {Stuart I. Feldman and Mike Uretsky and Marc Najork and Craig E. Wills}, title = {{CTR-S: a logic for specifying contracts in semantic web services}}, booktitle = {{Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004}}, pages = {144--153}, publisher = {ACM}, year = {2004}, url = {https://doi.org/10.1145/1013367.1013391}, doi = {https://doi.org/10.1145/1013367.1013391} }