Michael Benedikt; Kristian Kersting; Phokion G. Kolaitis; Daniel Neider
In: Dagstuhl Reports, Vol. 9, No. 9, Pages 1-22, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019.