@misc{indiciae05d0d42371c1,
  title = {A theorem proving framework for the formal verification of Web Services Composition},
  author = {Petros Papapanagiotou and Jacques D. Fleuriot},
  year = {2011},
  doi = {10.4204/eptcs.61.1},
  url = {https://arxiv.org/abs/1108.2348},
  note = {Source identifier: 1108.2348}
}