Applications of Norm and Situation Calculus in the Semantic Web Service Composition. - Jun Zhao; Xiaozhu Gu (J. Softw. Eng. Appl., 2010)