@Article{Ble71,
    Author       = "Bledsoe, W.W.",
    Year         = "1971",
    Title        = "{Splitting and Reduction Heuristics in Automatic Theorem
                    Proving}",
    Journal      = "Artificial Intelligence",
    Volume       = "2",
    Pages        = "55-77",
    Comment      = ""
}