@inproceedings{ GuSouAISOC06services,
  publisher = {}
}
,
  title = {A Logic for Decidable Reasoning about Services}
}
,
  url = {YGu_aaai06_service.pdf}
}
,
  booktitle = {Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing (AISOC-06)}
}
,
  author = {Yilan Gu and Mikhail Soutchanski}
}
,
  year = {2006}
}
,
  month = {July}
}
,
  note = {Also in the Proceedings of ECAI-06 workshop on AI for Service Composition, August 2006, Riva del Garda, Italy}
}
,
  editor = {}
}
,
  address = {Boston, MA, US}
}
,
  pages = {}
}