LIPIcs, Volume 162, SWAT 2020