@misc{oai:tsukuba.repo.nii.ac.jp:00025407,
 author = {Ghourabi, Fadoua},
 month = {},
 note = {2010, 【要旨】},
 title = {Algebraic approach to origami construction and theorem proving},
 year = {2011}
}