@TechReport{Hoe09-Thesis,
    Author       = "Hoeschele, M.",
    Year         = "2009",
    Title        = "{Towards a Semi-Automatic Higher-Order Tableau Prover}",
    Number       = "Bachelor's Thesis",
    Institution  = "Saarland University",
    Address      = "Saarbruecken, Germany",
    Comment      = "TPTPRef"
}