author = {T. Ida and D. Tepeneu and B. Buchberger and J. Robu},
title = {{Proving and Constraint Solving in Computational Origami}},
booktitle = {{Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation)}},
language = {english},
series = {Springer Lecture Notes in Artificial Intelligence},
volume = {3249},
pages = {132--142},
publisher = {Copyright: Springer-Berlin},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-232},
year = {2004},
month = {22-24 September},
annote = {2004-09-22-B},
editor = {B. Buchberger and John Campbell},
refereed = {yes},
institution = {RISC, Johannes Kepler University, Austria},
length = {10}