Canonization for Two Variables and Puzzles on the Square

@article{Otto1997CanonizationFT,
  title={Canonization for Two Variables and Puzzles on the Square},
  author={Martin Otto},
  journal={Ann. Pure Appl. Logic},
  year={1997},
  volume={85},
  pages={243-282}
}

Citations

Publications citing this paper.
Showing 1-6 of 6 extracted citations

Similar Papers

Loading similar papers…