Sýkora, Ondrej Programming Logics, MPI for Informatics, Max Planck Society;
Vrto, Imrich Programming Logics, MPI for Informatics, Max Planck Society;
91-124.pdf (Any fulltext), 10MB
Sýkora, O., & Vrto, I.(1991). On crossing numbers of hypercubes and cube connected cycles (MPI-I-91-124). Saarbrücken: Max-Planck-Institut für Informatik.