@article{article, title = {{Programming and automating mathematics in the Tarski鈥揔leene hierarchy}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2014}}, month = {{3}}, author = {{Armstrong A and Struth G and Weber T}}, doi = {{10.1016/j.jlap.2014.02.001}}, volume = {{83}}, journal = {{Journal of Logical and Algebraic Methods in Programming}}, issue = {{2}}, pages = {{87-102}}, note = {{Accessed on 2025/05/20}}}