@PhDThesis{Cer15,
    Author       = "Cerna, D.",
    Year         = "2015",
    Title        = "{Advances in Schematic Cut Elimination}",
    School       = "Technical University of Vienna",
    Comment      = "TPTPRef"
}