Minh Phan Fumio Hattori Automatic Web Service Composition Using ConGolog. 17 2006 conf/icdcsw/2006 ICDCS Workshops http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2006.24 db/conf/icdcsw/icdcsw2006.html#PhanH06