Jinghai Rao Semantic Web Service Composition via Logic-based Program Synthesis. 2004 Norwegian University of Science and Technology, Trondheim, Norway https://hdl.handle.net/11250/249969 https://www.base-search.net/Record/c3ec6891f9b57f8cc2130cb82bcc9566f65a4128d9543099b8dc446ccfd4a3ce base-search.net (ftntnutrondircom:oai:brage.bibsys.no:11250/249969) https://www.base-search.net/Record/20ba5d99c4b6097f78b9d5ed854195c698766f589aa28c9e986baeada05739d2 base-search.net (ftntnutrondheimi:oai:ntnuopen.ntnu.no:11250/249969)