/persons/resource/persons44621
Hillenbrand,
Thomas
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44934
Löchner,
Bernd
Programming Logics, MPI for Informatics, Max Planck Society;