Dumitru Roman, Michael Kifer. ServLog: A unifying logical framework for service modeling and contracting. Semantic Web, 9(2):257-290, 2018. [doi]
@article{RomanK18, title = {ServLog: A unifying logical framework for service modeling and contracting}, author = {Dumitru Roman and Michael Kifer}, year = {2018}, doi = {10.3233/SW-170262}, url = {https://doi.org/10.3233/SW-170262}, researchr = {https://researchr.org/publication/RomanK18}, cites = {0}, citedby = {0}, journal = {Semantic Web}, volume = {9}, number = {2}, pages = {257-290}, }