@Article{BS10,
    Author       = "Brown, C.E. and Smolka, G.",
    Year         = "2010",
    Title        = "{Analytic Tableaux for Simple Type Theory and its First-Order Fragment}",
    Journal      = "Logical Methods in Computer Science",
    Volume       = "6",
    Number       = "2",
    Comment      = ""
}