A logical framework for modeling and reasoning about semantic web services contract.

Hai Liu, Qing Li, Naijie Gu, An Liu

Browse the full WWW paper archive.