Eisenbrand, Friedrich Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-2000-2-001.pdf (Any fulltext), 11MB
Eisenbrand, F.(2000). Short vectors of planar lattices via continued fractions (MPI-I-2000-2-001). Saarbrücken: Max-Planck-Institut für Informatik.