@TechReport{BMMTCS,
  author = {G. Bonfante and J.-Y. Marion and J.-Y. Moyen},
  title = {Quasi-interpretations},
  institution = {Loria},
  year = 2004,
  note = {Submited to Theoretical Computer Science, accessible: 
          \url{http://www.loria.fr/~moyen/}}
}