Canonization for two variables and puzzles on the square

Otto, Martin

Amsterdam : Elsevier (1997)
Journal Article

In: Annals of pure and applied logic
Volume: 85
Issue: 3
Page(s)/Article-Nr.: 243-282