Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Eisenbrand, Friedrich Discrete Optimization, MPI for Informatics, Max Planck Society;
Bockmayr, A., & Eisenbrand, F. (2001). Cutting Planes and the Elementary Closure in Fixed Dimension. Mathematics of Operations Research, 26(2), 304-312.