?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.au=Senni%2C+Valerio&rft.aufirst=Valerio&rft.aulast=Senni&rft.tpages=200&rft.inst=Universit%C3%A0+degli+studi+di+Roma+%22Tor+Vergata%22&rft.date=2008&rft.degree=PhD+Thesis&rft.title=Transformation+techniques+for+constraint+logic+programs+with+applications+to+protocol+verification