Canonization for two variables and puzzles on the square

Otto, Martin (Author)

Amsterdam / Elsevier (1997) [Fachzeitschriftenartikel]

Annals of pure and applied logic
Band: 85
Ausgabe: 3
Seite(n): 243-282