@InProceedings{martins-lpar08,
  author =       {Ruben Martins and In\^es Lynce}, 
  title =        {{Effective CNF Encodings of the Towers of Hanoi. Short Paper}},
  booktitle =    {International Conference on Logic for Programming Artificial Intelligence and Reasoning}
  year =         2008
}