Tetsuo Ida Dorin Tepeneu Bruno Buchberger Judit Robu Proving and Constraint Solving in Computational Origami. 132-142 http://dx.doi.org/10.1007/978-3-540-30210-0_12 2004 conf/aisc/2004 AISC db/conf/aisc/aisc2004.html#IdaTBR04