Jarungjit Parnjai Christian Stahl Karsten Wolf A finite representation of all substitutable services and its applications. 29-34 2009 ZEUS http://CEUR-WS.org/Vol-438/paper5.pdf conf/zeus/2009 db/conf/zeus/zeus2009.html#ParnjaiSW09