@Article{Ble77,
    Author       = "Bledsoe, W.W.",
    Year         = "1977",
    Title        = "{Non-resolution Theorem Proving}",
    Journal      = "Artificial Intelligence",
    Volume       = "9",
    Pages        = "1-35",
    Comment      = "TPTPRef, non-resolution"
}