Canonization for two variables and puzzles on the square

Otto, Martin

Amsterdam / Elsevier (1997) [Journal Article]

Annals of pure and applied logic
Volume: 85
Issue: 3
Page(s): 243-282

Identifier