Ramy Ragab Hassen Farouk Toumani Lhouari Nourine Web services composition is decidable. 2008 WebDB http://webdb2008.como.polimi.it/images/stories/WebDB2008/paper23.pdf conf/webdb/2008 db/conf/webdb/webdb2008.html#HassenTN08