Košta, Marek Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Karrenberg, R., Košta, M., & Sturm, T. (2013). Presburger Arithmetic in Memory Access Optimization for Data-parallel Languages. In P. Fontaine, C. Ringeissen, & R. A. Schmidt (Eds.), Frontiers of Combining Systems (pp. 56-70). Berlin: Springer. doi:10.1007/978-3-642-40885-4_5.