?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.jal.2011.11.002&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Pugliese%2C+Rosario&rft.aufirst=Rosario&rft.aulast=Pugliese&rft.issn=1570-8683&rft.atitle=A+Calculus+for+Orchestration+of+Web+Services&rft.title=Journal+of+Applied+Logic&rft.date=March+2012&rft.volume=10&rft.issue=1&rft.pages=2-31&rft.genre=article