/persons/resource/persons44396
Faber,
Johannes
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons44669
Ihlemann,
Carsten
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons44687
Jacobs,
Swen
Automation of Logic, MPI for Informatics, Max Planck Society;