Maximilian Paul Louis Haslbeck, Simon Wimmer. Competitive Proving for Fun. In Christoph Benzmüller, Xavier Parent, Alexander Steen, editors, Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Volume 10 of Kalpa Publications in Computing, pages 9-14, EasyChair, 2018. [doi]
@inproceedings{HaslbeckW18,
title = {Competitive Proving for Fun},
author = {Maximilian Paul Louis Haslbeck and Simon Wimmer},
year = {2018},
url = {http://www.easychair.org/publications/paper/gcW3},
researchr = {https://researchr.org/publication/HaslbeckW18},
cites = {0},
citedby = {0},
pages = {9-14},
booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
editor = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
volume = {10},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}