Canonization for two variables and puzzles on the square

Otto, Martin

Amsterdam : Elsevier (1997)
Fachzeitschriftenartikel

In: Annals of pure and applied logic
Band: 85
Heft: 3
Seite(n)/Artikel-Nr.: 243-282