BibTeX
@INCOLLECTION{
         Guckenheimer1996CPf,
       author = "John Guckenheimer",
       title = "Computer Proofs for Bifurcations of Planar Dynamical Systems",
       pages = "229--237",
       chapter = "20",
       crossref = "Berz1996CDT",
       booktitle = "Computational Differentiation: Techniques, Applications, and Tools",
       year = "1996",
       editor = "Martin Berz and Christian Bischof and George Corliss and Andreas Griewank",
       publisher = "SIAM"
}