@PhDThesis{Cru15,
    Author       = "Cruanes, S.",
    Year         = "2015",
    Title        = "{Extending Superposition with Integer Arithmetic, Structural Induction, and 
                    Beyond}",
    School       = "Ecole Polytechnique",
    Address      = "Paris, France",
    Comment      = ""
}