author = {T.Ida and B. Buchberger},
title = {{Proving and Solving in Computational Origami}},
language = {english},
journal = {Analele Universitatii din Timisoara, Seria Matematica - Informatica},
volume = {XLI},
pages = {247--263},
publisher = {Copyright: Mirton Publisher},
address = {Timisoara, Romania},
isbn_issn = {ISSN 1224-970X},
year = {2003},
annote = {2003-10-04-B},
note = {special issue on Computer Science - Proceedings of SYNASC'03},
refereed = {yes},
length = {17}