/persons/resource/persons127656
Teucke,
Andreas
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons101767
Voigt,
Marco
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons45719
Weidenbach,
Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;