The following publications are possibly variants of this publication:
- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its CorrectnessJudit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger. adg 2006: 19-33 [doi]
- Proof Documents for Automated Origami Theorem ProvingFadoua Ghourabi, Tetsuo Ida, Asem Kasem. adg 2011: 78-97 [doi]
- Morley s theorem revisited: Origami construction and automated proofTetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi. JSC, 46(5):571-583, 2011. [doi]