Web Services Feature Interaction Detection Based on Situation Calculus. - Jiuyun Xu; Wengong Yu; Kun Chen; Stephan Reiff-Marganiec (SERVICES, 2010)