@第{zbMATH05083811条，作者={Baldoni、Matteo和Baroglio、Cristina和Martelli、Alberto和Patti、Viviana}，Title={关于自定义web服务选择和组合的交互协议的推理}，FJournal={逻辑与代数编程杂志}，Journal＝{J.Log.Agebrage.Program.}，ISSN={1567-8326}，体积={70}，数字={1}，页码={53--73}，年份={2007}，语言={英语}，DOI={10.1016/j.jlap.2006.05.005}，关键词={68M12,68M11}，zbMATH={5083811}，Zbl={1178.68061}}