@MastersThesis{Bac10-Thesis,
    Author       = "Backes, J.",
    Year         = "2010",
    Title        = "{Tableaux for Higher-Order Logic with If-Then-Else,
                    Description and Choice}",
    School       = "Saarland University",
    Address      = "Saarbruecken, Germany",
    Comment      = "TPTPRef"
}