/persons/resource/persons45578
Sutcliffe,
Geoff
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons45573
Suda,
Martin
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons44292
de Melo,
Gerard
Databases and Information Systems, MPI for Informatics, Max Planck Society;