@misc{RISC5515,
author = {W. Windsteiger},
title = {{Theorema 2.0: A Brief Tutorial}},
language = {english},
year = {2017},
month = {September 23},
note = {Invited Tutorial. Invited talk at SYNASC 2017},
conferencename = {SYNASC 2017},
url = {https://synasc.ro/2017/}
}