Canonization for Two Variables and Puzzles on the Square

Martin Otto. Canonization for Two Variables and Puzzles on the Square. Annals of Pure and Applied Logic, 85(3):243-282, 1997.

Abstract

Abstract is missing.