author = {W. Windsteiger},
title = {{Theorema 2.0: A Platform for Automated Reasoning in Natural Style}},
language = {english},
year = {2016},
month = {July 20},
note = {Contributed talk at Computational Origami and Applications (COA)},
conferencename = {Computational Origami and Applications (COA)},
url = {http://www.cse.chalmers.se/~laurako/links/COA.html}