@misc{indiciae0fe6052cf835,
  title = {A Situation Calculus-based Approach To Model Ubiquitous Information Services},
  author = {Dong Wen-Yu and Xu Ke and Lin Meng-Xiang},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0311052},
  note = {Source identifier: cs/0311052}
}