De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario  On the Expressive Power of Klaim-based Calculi.  Electronic Notes in Theoretical Computer Science, 128 (2).  pp. 117-130.  ISSN 1571-0661      (2005)