Marko Kleine Büning, Philipp Kern, Carsten Sinz
CP 2020 (https://doi.org/10.1007/978-3-030-58475-7_50)
