@article{Otto1997a,
  year = {1997},
  volume = {85},
  journal = {Annals of Pure and Applied Logic},
  author = {Otto, Martin},
  pages = {243-282},
  title = {Canonization for two variables and puzzles on the square},
}