/persons/resource/persons117832
Bromberger,
Martin
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons141910
Fleury,
Mathias
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons244458
Schwarz,
Simon
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons45719
Weidenbach,
Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;