@Article{DGP:TCS06,
  author    =  	{R. {De Nicola} and D. Gorla and R. Pugliese},
  title     =  	{On the Expressive Power of KLAIM-based Calculi},
  journal   =   {Theoretical Computer Science},
  volume    =   {356},
  number    = 	{3},
  pages     =  	{387--421},
  year      =  	{2006},
  publisher =   {Elsevier},
}