Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-1999-2-008.pdf (Any fulltext), 274KB
Bockmayr, A.(1999). Cutting planes and the elementary closure in fixed dimension (MPI-I-1999-2-008). Saarbrücken: Max-Planck-Institut für Informatik.