Košta, Marek Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Košta, M., & Sturm, T. (Eds.). (2013). Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences.