:@ARTICLE{Bagchi08LBTNormPseudoMnf,
  author = {Bhaskar Bagchi and Basudeb Datta},
  title = {{L}ower bound theorem for normal pseudomanifolds},
  journal = {Expo. Math.},
  year = {2008},
  volume = {26},
  pages = {327--351},
  number = {4},
  fjournal = {Expositiones Mathematicae},
}

@article{BDSSSepIndex,
  author = {Benjamin A. Burton and Basudeb Datta and Nitin Singh and Jonathan Spreer},
  title = {Separation index of graphs and stacked 2-spheres},
  journal = {J. Combin. Theory Ser. A},
  fjournal = {Journal of Combinatorial Theory, Series A},
  volume = {136},
  pages = {184--197},
  url = {https://doi.org/10.1016/j.jcta.2015.07.001},
  year = {2015}
}

@article {Conder09RegMapsOfBdChi,
    AUTHOR = {Conder, Marston D. E.},
     TITLE = {Regular maps and hypermaps of {E}uler characteristic {$-1$} to
              {$-200$}},
   JOURNAL = {J. Combin. Theory Ser. B},
  FJOURNAL = {Journal of Combinatorial Theory. Series B},
    VOLUME = {99},
      YEAR = {2009},
    NUMBER = {2},
     PAGES = {455--459},
}

@article {Benedetti13RandomDMT,
    AUTHOR = {Benedetti, Bruno and Lutz, Frank H.},
     TITLE = {Random discrete {M}orse theory and a new library of
              triangulations},
   JOURNAL = {Exp. Math.},
  FJOURNAL = {Experimental Mathematics},
    VOLUME = {23},
      YEAR = {2014},
    NUMBER = {1},
     PAGES = {66--94},
}

@MISC{Paixao143SphereRec,
  author = {Paix{\~a}o, J. and Spreer, J.},
  title = {Random collapsibility and 3-sphere recognition},
  year = {2015},
  howpublished = {\texttt{arXiv:1509.07607 [math.GT]}},
  note = {Preprint, 18 pages, 6 figures}
}

@MISC{Bagchi16Tight3Mflds,
  author = {B. Bagchi and B. Datta and J. Spreer},
  title = {A characterization of tightly triangulated 3-manifolds}
  year = {2016},
  howpublished = {\texttt{arXiv:1601.00065 [math.GT]}},
  note = {Preprint, 6 pages, 2 figures}
}


@inproceedings {Wilson96UST,
    AUTHOR = {Wilson, David Bruce},
     TITLE = {Generating random spanning trees more quickly than the cover
              time},
 BOOKTITLE = {Proceedings of the {T}wenty-eighth {A}nnual {ACM} {S}ymposium
              on the {T}heory of {C}omputing ({P}hiladelphia, {PA}, 1996)},
     PAGES = {296--303},
 PUBLISHER = {ACM, New York},
      YEAR = {1996},
}

@ARTICLE{Engstroem09DiscMorseFuncFourierTrans,
  author = {Engstr{\"o}m, Alexander},
  title = {Discrete {M}orse functions from {F}ourier transforms},
  journal = {Experiment. Math.},
  year = {2009},
  volume = {18},
  pages = {45--53},
  number = {1},
  fjournal = {Experimental Mathematics},
}

@ARTICLE{Sparla99LBTComb2kMnf,
  author = {Eric Sparla},
  title = {{A} new lower bound theorem for combinatorial {$2k$}-manifolds},
  journal = {Graphs Combin.},
  year = {1999},
  volume = {15},
  pages = {109--125},
  number = {1},
  fjournal = {Graphs and Combinatorics},
}

@article {Klee11CentSymmMnfFewVert,
    AUTHOR = {Klee, Steven and Novik, Isabella},
     TITLE = {Centrally symmetric manifolds with few vertices},
   JOURNAL = {Adv. Math.},
  FJOURNAL = {Advances in Mathematics},
    VOLUME = {229},
      YEAR = {2012},
    NUMBER = {1},
     PAGES = {487--500},
}
 
 

@article {Bagchi08OnWalkupKd,
    AUTHOR = {Bagchi, Bhaskar and Datta, Basudeb},
     TITLE = {{On Walkup's class $\mathcal K(d)$ and a minimal triangulation of $(S^3 \dtimes S^1)^{\#3}$}},
   JOURNAL = {Discrete Math.},
  FJOURNAL = {Discrete Mathematics},
    VOLUME = {311},
      YEAR = {2011},
    NUMBER = {12},
     PAGES = {989--995},
}


@ARTICLE{Banchoff65TightEmb3DimPolyMnf,
  author = {Thomas F. Banchoff},
  title = {{T}ightly embedded {$2$}-dimensional polyhedral manifolds},
  journal = {Amer. J. Math.},
  year = {1965},
  volume = {87},
  pages = {462--472},
  fjournal = {American Journal of Mathematics},
}

@ARTICLE{Banchoff74TightPolyKBProjPMB,
  author = {Thomas F. Banchoff},
  title = {{T}ight polyhedral {K}lein bottles, projective planes, and {M}\"obius
 bands},
  journal = {Math. Ann.},
  year = {1974},
  volume = {207},
  pages = {233--243},
  fjournal = {Mathematische Annalen},
}

@INCOLLECTION{Banchoff97TightSubmSmoothPoly,
  author = {Thomas F. Banchoff and Wolfgang K{\"u}hnel},
  title = {{T}ight submanifolds, smooth and polyhedral},
  booktitle = {Tight and taut submanifolds ({B}erkeley, {CA}, 1994)},
  publisher = {Cambridge Univ. Press},
  year = {1997},
  volume = {32},
  series = {Math. Sci. Res. Inst. Publ.},
  pages = {51--118},
  address = {Cambridge},
}

@ARTICLE{HomAlg,
  author = {Barakat, Mohamed and Robertz, Daniel},
  title = {{\tt homalg}: a meta-package for homological algebra},
  journal = {J. Algebra Appl.},
  year = {2008},
  volume = {7},
  pages = {299--317},
  number = {3},
  doi = {10.1142/S0219498808002813},
  fjournal = {Journal of Algebra and its Applications},
  url = {https://doi.org/10.1142/S0219498808002813}
}

@ARTICLE{Bjoerner00SimplMnfBistellarFlips,
  author = {Anders Bj{\"o}rner and Frank H. Lutz},
  title = {{S}implicial manifolds, bistellar flips and a 16-vertex triangulation
 of the {P}oincar{\'e} homology 3-sphere},
  journal = {Experiment. Math.},
  year = {2000},
  volume = {9},
  pages = {275--289},
  number = {2},
  fjournal = {Experimental Mathematics},
}


@ARTICLE{Datta07MinTrigManifolds,
  author = {Basudeb Datta},
  title = {{M}inimal triangulations of manifolds},
  journal = {J. Indian Inst. Sci.},
  year = {2007},
  volume = {87},
  pages = {429--449},
  number = {4},
  fjournal = {Journal of the Indian Institute of Science. A Multidisciplinary Reviews
 Journal},
}

@MISC{Dumas04Homology,
  author = {J.-G. Dumas and F. Heckenbach and B. D. Saunders and V. Welker},
  title = {{S}implicial {H}omology, v. 1.4.5},
  howpublished = {{\url{http://www.cis.udel.edu/~dumas/Homology/}}},
  year = {2001--2011},
  url = {http://www.cis.udel.edu/~dumas/Homology/}
}

@INCOLLECTION{Desbrun08DiscDiffFormCompModel,
  author = {Mathieu Desbrun and Eva Kanso and Yiying Tong},
  title = {{D}iscrete differential forms for computational modeling},
  booktitle = {Discrete differential geometry},
  publisher = {Birkh\"auser},
  year = {2008},
  volume = {38},
  series = {Oberwolfach Semin.},
  pages = {287--324},
  address = {Basel},
}

@ARTICLE{Effenberger09StackPolyTightTrigMnf,
  author = {Felix Effenberger},
  title = {{S}tacked polytopes and tight triangulations of manifolds},
  journal = {Journal of Combinatorial Theory, Series A},
  year = {2011},
  volume = {118},
  pages = {1843 - 1862},
  number = {6},
  doi = {DOI: 10.1016/j.jcta.2011.03.003},
}

@BOOK{Effenberger10Diss,
  title = {{H}amiltonian submanifolds of regular polytopes},
  publisher = {Logos Verlag, Berlin},
  year = {2011},
  author = {Felix Effenberger},
  note = {Dissertation, University of Stuttgart, 2010},
}

@incollection{Forman95DiscrMorseTheoryCellCompl,
    AUTHOR = {Robin Forman},
     TITLE = {A discrete {M}orse theory for cell complexes},
 BOOKTITLE = {Geometry, topology, \& physics},
    SERIES = {Conf. Proc. Lecture Notes Geom. Topology, IV},
     PAGES = {112--125},
 PUBLISHER = {Int. Press, Cambridge, MA},
      YEAR = {1995},
}

@book {Huppert67EndlGruppen,
    AUTHOR = {Huppert, Bertram},
     TITLE = {Endliche {G}ruppen. {I}},
    SERIES = {Die Grundlehren der Mathematischen Wissenschaften, Band 134},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = {1967},
     PAGES = {xii+793},
}

@INCOLLECTION{Joswig00Polymake,
  author = {Ewgenij Gawrilow and Michael Joswig},
  title = {polymake: a framework for analyzing convex polytopes},
  booktitle = {Polytopes---combinatorics and computation (Oberwolfach, 1997)},
  publisher = {Birkh{\"a}user},
  year = {2000},
  volume = {29},
  series = {DMV Sem.},
  pages = {43--73},
  address = {Basel}
}


@BOOK{Gruenbaum03ConvPoly,
  title = {{C}onvex polytopes},
  publisher = {Springer-Verlag},
  year = {2003},
  author = {Branko Gr{\"u}nbaum},
  volume = {221},
  pages = {xvi+468},
  series = {Graduate Texts in Mathematics},
  address = {New York},
  edition = {Second},
  note = {Prepared and with a preface by Volker Kaibel, Victor Klee and G{\"u}nter
 M.\ Ziegler},
  isbn = {0-387-00424-6; 0-387-40409-0}
}

@BOOK{Hudson69PLTop,
  title = {{P}iecewise linear topology},
  publisher = {W. A. Benjamin, Inc., New York-Amsterdam},
  year = {1969},
  author = {John F. P. Hudson},
  pages = {ix+282},
  series = {University of Chicago Lecture Notes prepared with the assistance
 of J. L. Shaneson and J. Lees}
}

@ARTICLE{Kuehnel86HigherDimCsaszar,
  author = {Wolfgang K{\"u}hnel},
  title = {{H}igher dimensional analogues of {C}s{\'a}sz{\'a}r's torus},
  journal = {Results Math.},
  year = {1986},
  volume = {9},
  pages = {95--106}
}

@INCOLLECTION{Kuehnel94ManSkelConvPolyt,
  author = {Wolfgang K{\"u}hnel},
  title = {{M}anifolds in the skeletons of convex polytopes, tightness, and
 generalized {H}eawood inequalities},
  booktitle = {Polytopes: abstract, convex and computational (Scarborough, ON, 1993)},
  publisher = {Kluwer Acad. Publ.},
  year = {1994},
  volume = {440},
  series = {NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci.},
  pages = {241--247},
  address = {Dordrecht}
}

@BOOK{Kuehnel95TightPolySubm,
  title = {{T}ight polyhedral submanifolds and tight triangulations},
  publisher = {Springer-Verlag},
  year = {1995},
  author = {Wolfgang K{\"u}hnel},
  volume = {1612},
  pages = {vi+122},
  series = {Lecture Notes in Mathematics},
  address = {Berlin},
  isbn = {3-540-60121-X}
}

@ARTICLE{Kuehnel99CensusTight,
  author = {Wolfgang K{\"u}hnel and Frank H. Lutz},
  title = {{A} census of tight triangulations},
  journal = {Period. Math. Hungar.},
  year = {1999},
  volume = {39},
  pages = {161--183},
  number = {1-3},
  note = {{D}iscrete geometry and rigidity ({B}udapest, 1999)},
  fjournal = {Periodica Mathematica Hungarica. Journal of the J{\'a}nos Bolyai Mathematical
 Society},
}

@INCOLLECTION{Kuiper84GeomTotAbsCurvTheo,
  author = {Nicolaas H. Kuiper},
  title = {{G}eometry in total absolute curvature theory},
  booktitle = {Perspectives in mathematics},
  publisher = {Birkh{\"a}user},
  year = {1984},
  pages = {377--392},
  address = {Basel}
}

@MISC{Lutz08ManifoldPage,
  author = {Frank H. Lutz},
  title = {{T}he {M}anifold {P}age},
  howpublished = {{\url{http://www.math.tu-berlin.de/diskregeom/stellar}}},
  url = {http://www.math.tu-berlin.de/diskregeom/stellar/}
}

@PHDTHESIS{Lutz03TrigMnfFewVertVertTrans,
  author = {Frank H. Lutz},
  title = {{T}riangulated {M}anifolds with {F}ew {V}ertices and {V}ertex-{T}ransitive
 {G}roup {A}ctions},
  school = {TU Berlin},
  year = {2003},
}

@MISC{Lutz05TrigMnfFewVertCombMnf,
  author = {Frank H. Lutz},
  title = {{T}riangulated {M}anifolds with {F}ew {V}ertices: {C}ombinatorial
 {M}anifolds},
  howpublished = {{\tt arXiv:math/0506372v1 [math.CO]}, Preprint, 37 pages},
  year = {2005}
}

@article{McKay84Nauty,
title = "Practical graph isomorphism, \{II\} ",
journal = "Journal of Symbolic Computation ",
volume = "60",
number = "0",
pages = "94 - 112",
year = "2014",
doi = "https://doi.org/10.1016/j.jsc.2013.09.003",
url = "http://www.sciencedirect.com/science/article/pii/S0747717113001193",
author = "Brendan D. McKay and Adolfo Piperno"
}


@BOOK{Milnor63MorseTheory,
  title = {{M}orse theory},
  publisher = {Princeton University Press},
  year = {1963},
  author = {John W. Milnor},
  pages = {vi+153},
  series = {Based on lecture notes by M. Spivak and R. Wells. Annals of Mathematics
 Studies, No. 51},
  address = {Princeton, N.J.},
}



@ARTICLE{Pachner87KonstrMethKombHomeo,
  author = {Udo Pachner},
  title = {{K}onstruktionsmethoden und das kombinatorische {H}om\"{o}omorphieproblem
 f\"{u}r {T}riangulierungen kompakter semilinearer {M}annigfaltigkeiten},
  journal = {Abh. Math. Sem. Uni. Hamburg},
  year = {1987},
  volume = {57},
  pages = {69--86},
}

@BOOK{Ringel74MapColThm,
  title = {{M}ap color theorem},
  publisher = {Springer-Verlag},
  year = {1974},
  author = {Gerhard Ringel},
  pages = {xii+191},
  address = {New York},
  note = {Die Grundlehren der mathematischen Wissenschaften, Band 209}
}


@MISC{Roeder07Polymaking,
  author = {Marc R\"{o}der},
  title = {{GAP} package polymaking},
  howpublished = {{\url{https://www.gap-system.org/Packages/polymaking.html}}},
  year = {2013},
  url = {https://www.gap-system.org/Packages/polymaking.html}
}

@BOOK{Rourke72IntrPLTop,
  title = {{I}ntroduction to piecewise-linear topology},
  publisher = {Springer-Verlag},
  year = {1972},
  author = {Colin P. Rourke and Brian J. Sanderson},
  pages = {viii+123},
  address = {New York},
  note = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 69}
}

@ARTICLE{Schulz94PolyhMnfPoly,
  author = {Christoph Schulz},
  title = {{P}olyhedral manifolds on polytopes},
  journal = {Rend. Circ. Mat. Palermo (2) Suppl.},
  year = {1994},
  pages = {291--298},
  number = {35},
  note = {First International Conference on Stochastic Geometry, Convex Bodies
 and Empirical Measures (Palermo, 1993)},
  fjournal = {Rendiconti del Circolo Matematico di Palermo. Serie II. Supplemento}
}

@MISC{Soicher06GRAPE,
  author = {Leonard H. Soicher},
  title = {{GRAPE - GRaph Algorithms using PErmutation groups}},
  howpublished = {{\url{https://www.gap-system.org/Packages/grape.html}}},
  year = {2012},
  note = {{Version 4.6.1}},
}

@ARTICLE{Spreer09CombPorpsOfK3,
  author = {Jonathan Spreer and Wolfgang K{\"u}hnel},
  title = {{C}ombinatorial properties of the {K}3 surface: {S}implicial blowups
 and slicings},
  journal = {Experiment. Math.},
  year = {2011},
  volume = {20},
  pages = {201--216},
  number = {2},
}

@PHDTHESIS{Spreer10Diss,
  author = {J. Spreer},
  title = {Blowups, slicings and permutation groups in combinatorial topology},
  school = {University of Stuttgart},
  year = {2011},
  note = {Ph.D. thesis},
  pages = {251},
  publisher = {Logos Verlag Berlin},
}


@ARTICLE{Spreer10NormSurfsCombSlic,
  author = {Jonathan Spreer},
  title = {{N}ormal surfaces as combinatorial slicings},
  journal = {Discrete Math.},
  year = {2011},
  volume = {311},
  pages = {1295--1309},
  number = {14},
  note = {{\tt doi:10.1016/j.disc.2011.03.013}},
}

@BOOK{Ziegler95LectPolytopes,
  title = {{L}ectures on polytopes},
  publisher = {Springer-Verlag},
  year = {1995},
  author = {G{\"u}nter M. Ziegler},
  volume = {152},
  pages = {x+370},
  series = {Graduate Texts in Mathematics},
  address = {New York},
  isbn = {0-387-94365-X}
}



@article{Frohmader08FaceVecFlagCompl,
    AUTHOR = {Frohmader, Andrew},
     TITLE = {Face vectors of flag complexes},
   JOURNAL = {Israel J. Math.},
  FJOURNAL = {Israel Journal of Mathematics},
    VOLUME = {164},
      YEAR = {2008},
     PAGES = {153--164},
}

@ARTICLE{Hirzebruch1953,
  author = {Friedrich E. P. Hirzebruch},
  title = {\"Uber vierdimensionale Riemannsche Fl\"achen mehrdeutiger analyti\-scher
 Funktionen von zwei komplexen Ver\"anderlichen},
  journal = {Math. Ann.},
  year = {1953},
  volume = {126},
  pages = {1 -- 22},
}

@INCOLLECTION{Hauser2000,
  author = {Herwig Hauser},
  title = {Resolution of singularities 1860--1999},
  booktitle = {Resolution of singularities ({O}bergurgl, 1997)},
  publisher = {Birkh\"auser},
  year = {2000},
  volume = {181},
  series = {Progr. Math.},
  pages = {5--36},
  address = {Basel},
}

@ARTICLE{Hopf1951,
  author = {Heinz Hopf},
  title = {\"{U}ber komplex-analytische {M}annigfaltigkeiten},
  journal = {Univ. Roma. Ist. Naz. Alta Mat. Rend. Mat. e Appl. (5)},
  year = {1951},
  volume = {10},
  pages = {169--182}
}

@ARTICLE{Spanier56HomKummerMnf,
  author = {Edwin H. Spanier},
  title = {{T}he homology of {K}ummer manifolds},
  journal = {Proc. AMS},
  year = {1956},
  volume = {7},
  pages = {155--160}
}

@Misc{M2,
   author = {Grayson, Daniel R. and Stillman, Michael E.},
   title = {Macaulay2, a software system for research
             in algebraic geometry},
   howpublished = {Available at http://www.math.uiuc.edu/Macaulay2/}
}

@Misc{Adiprasito14RDMTII,
    author = {K. Adiprasito, B. Benedetti, and F. H. Lutz},
    title = {Random Discrete Morse Theory II and a Collapsible 5-Manifold Different from the 5-Ball.},
    year = {2014},
    howpublished = {{\tt arXiv:1404.4239 [math.CO]}, 20 pages, 6 figures, 2 tables}
}

@ARTICLE{Haken61TheoNormFl,
  author = {Wolfgang Haken},
  title = {{T}heorie der {N}ormalfl{\"a}chen},
  journal = {Acta Math.},
  year = {1961},
  volume = {105},
  pages = {245--375},
  fjournal = {Acta Mathematica},
}

@book {Kirby77PLStructures,
    AUTHOR = {Kirby, Robion C. and Siebenmann, Laurence C.},
     TITLE = {Foundational essays on topological manifolds, smoothings, and
              triangulations},
      NOTE = {With notes by John Milnor and Michael Atiyah,
              Annals of Mathematics Studies, No. 88},
 PUBLISHER = {Princeton University Press, Princeton, N.J.; University of
              Tokyo Press, Tokyo},
      YEAR = {1977},
     PAGES = {vii+355},
}

@ARTICLE{Kneser29ClosedSurfIn3Mflds,
  author = {Hellmuth Kneser},
  title = {{Geschlossene Fl\"{a}chen in dreidimensionalen Mannigfaltigkeiten}},
  journal = {Jahresbericht der deutschen Mathematiker-Vereinigung},
  year = {1929},
  volume = {38},
  pages = {248--260}
}

@ARTICLE{Casella01TrigK3MinNumVert,
  author = {Mario Casella and Wolfgang K{\"u}hnel},
  title = {{A} triangulated {$K3$} surface with the minimum number of vertices},
  journal = {Topology},
  year = {2001},
  volume = {40},
  pages = {753--772},
  number = {4},
  fjournal = {Topology. An International Journal of Mathematics},
}

@MISC{Spreer10SupplMatToBetaK,
 author               = {Jonathan Spreer},
 howpublished         = {{\tt  arXiv:1009.2642v1 [math.CO]}, preprint, 12 pages, 1 figure},
 pages                = {459},
 timestamp            = {2010.07.06},
 title                = {{S}upplemental material to the article ``{P}artitioning the triangles of the cross polytope into surfaces''},
 year                 = {2010}
 }

@ARTICLE{Spreer10PartBetaK,
  author = {J. Spreer},
  title = {Partitioning the triangles of the cross polytope into surfaces},
  journal = {{Beitr. Algebra Geom. / Contributions to Algebra and Geometry}},
  year = {2012},
  volume = {53},
  pages = {473--486},
  number = {2},
  doi = {{doi:10.1007/s13366-011-0083-1}}
}

@MISC{Spreer12VarCyclPolytope,
  author = {B. A. Burton and J. Spreer},
  title = {Combinatorial Seifert fibred spaces with transitive cyclic automorphism
 group},
  year = {2014},
  howpublished = {\texttt{arXiv:1404.3005 [math.GT]}},
  note = {26 pages, 10 figures. To appear in Israel Journal of Mathematics}
}

@INPROCEEDINGS{Breuer98GAP4TypeSystem,
  author = {Breuer, Thomas and Linton, Steve},
  title = {The GAP 4 type system: organising algebraic algorithms},
  booktitle = {Proceedings of the 1998 international symposium on Symbolic and algebraic
 computation},
  year = {1998},
  series = {ISSAC '98},
  pages = {38--45},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {281540},
  doi = {http://doi.acm.org/10.1145/281508.281540},
  isbn = {1-58113-002-3},
  location = {Rostock, Germany},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/281508.281540}
}

@ARTICLE{Brehm09LatticeTrigE33Torus,
  author = {Ulrich Brehm and Wolfgang K{\"u}hnel},
  title = {Lattice triangulations of {$E^3$} and of the $3$-torus},
  journal = {{Israel J. Math.}},
  year = {2012},
  volume = {189},
  pages = {97--133},
  fjournal = {{Israel Journal of Mathematics}}
}

@article{Brehm08EquivMapsTorus,
 author               = {Ulrich Brehm and Wolfgang K{\"u}hnel},
 fjournal             = {European Journal of Combinatorics},
 issn                 = {0195-6698},
 journal              = {European J. Combin.},
 number               = {8},
 pages                = {1843--1861},
 title                = {{E}quivelar maps on the torus},
 volume               = {29},
 year                 = {2008},
 }

@article {Spreer11CyclicCombMflds,
    AUTHOR = {Spreer, Jonathan},
     TITLE = {Combinatorial 3-manifolds with transitive cyclic symmetry},
   JOURNAL = {Discrete Comput. Geom.},
  FJOURNAL = {Discrete \& Computational Geometry. An International Journal
              of Mathematics and Computer Science},
    VOLUME = {51},
      YEAR = {2014},
    NUMBER = {2},
     PAGES = {394--426},
       DOI = {10.1007/s00454-013-9560-7},
       URL = {https://doi.org/10.1007/s00454-013-9560-7},
}

@MISC{regina,
  author = {B. A. Burton and Ryan Budney and William Pettersson and others},
  title = {Regina: normal surface and 3-manifold topology software, Version
 4.97},
  howpublished = {{\tt http:// style='color:turquoise'>\allowbreak regina.\allowbreak sourceforge.\allowbreak
 net/}},
  year = {1999--2014}
}

@misc{SnapPea,
 author               = {Jeff Weeks},
 note                 = {\url{http://www.geometrygames.org/SnapPea/}},
 title                = {{S}nap{P}ea ({S}oftware for hyperbolic $3$-manifolds)},
 year                 = {1999},
 }

@misc{SnapPy,
     author={Culler, Marc and Dunfield, Nathan M. and Weeks, Jeffrey R.},
     title={Snap{P}y, a computer program for studying the topology of $3$-manifolds},
     howpublished={Available at \url{http://snappy.computop.org}},
}