LIPIcs, Volume 121, DISC'18, Complete Volume - Schmid, Ulrich; Widder, Josef; Ulrich Schmid and Josef Widder (2018)