Dynamic Web Service Assembly Using OWL and a Theorem Prover. - Dru McCandless; Leo Obrst; Shayn Hawthorne (ICSC, 2009)