LIPIcs, Volume 156, FORC 2020