@TechReport{martins-report08,
  author =       {Ruben Martins and In\^{e}s Lynce},
  title =        {{Effective CNF Encodings for the Towers of Hanoi}},
  institution =  {IST/INESC-ID, Technical University of Lisbon, Portugal},
  year =         2008,
  number =    	 {47}
}