Dru McCandless Leo Obrst Shayn Hawthorne Dynamic Web Service Assembly Using OWL and a Theorem Prover. 336-341 2009 ICSC http://dx.doi.org/10.1109/ICSC.2009.92 conf/semco/2009 db/conf/semco/icsc2009.html#McCandlessOH09