Senni, Valerio Transformation techniques for constraint logic programs with applications to protocol verification. PhD Thesis thesis, Università degli studi di Roma "Tor Vergata". (2008)