Hemmer, M., Dupon, L., Petitjean, S., & Schomer, E. (2011). A Complete, Exact and Efficient Implementation for Computing the Edge-adjacency Graph of an Arrangement of Quadrics. Journal of Symbolic Computation, 46(4), 467-494. doi:10.1016/j.jsc.2010.11.002.