@ARTICLE{Palomino05,
  author =       {Miguel Palomino},
  title =        {A comparison between two logical formalisms for rewriting},
  journal =      {Theory and Practice of Logic Programming},
  year =         2007,
  volume =       7,
  number =       {1-2},
  pages =        {183-213},
  year =         2007
}