Fadoua Ghourabi Tetsuo Ida Hidekazu Takahashi Mircea Marin Asem Kasem Logical and algebraic view of Huzita's origami axioms with applications to computational origami. 767-772 2007 conf/sac/2007 SAC http://doi.acm.org/10.1145/1244002.1244173 db/conf/sac/sac2007.html#GhourabiITMK07