@PHDTHESIS{Palomino-thesis,
  author =       {Miguel Palomino},
  title =        {Reflexi\'on, abstracci\'on y simulaci\'on en la l\'ogica de
                  reescritura},
  school =       {Universidad Complutense de Madrid, Spain},
  year =         2005,
  month =        mar
}