@mastersthesis{publication-18898, author={Oesch, Jérôme}, editor={Dell' Aglio, Daniele and Bernstein, Abraham}, faculty={Faculty of Business, Economics and Informatics}, institution={University of Zurich}, title={Benchmarking Incremental Reasoner Systems}, year=2018, }