@INPROCEEDINGS{SantosPalomino06,
  author =       {Gustavo Santos-Garc{\'\i}a and Miguel Palomino},
  title =        {Solving Sudoku Puzzles with Rewriting Rules},
  booktitle =    {Proceedings Fifth International Workshop on Rewriting Logic 
                  and its Applications, WRLA'06, Vienna, Austria,
                  April 1--2, 2006},
  editor =       {Grit Denker and Carolyn Talcott},
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
  volume =       {176(4)},
  year =         2007
}