Efficient Service Composition Using Zero-Suppressed Reduced Ordered Binary Decision Diagrams | IEEE Conference Publication | IEEE Xplore