Horvath, TamasTamasHorvathBringmann, B.B.BringmannRaedt, L. deL. deRaedt2022-03-102022-03-102007https://publica.fraunhofer.de/handle/publica/35486510.1007/978-3-540-73847-3_26en005006629conference paper