@Article{Sho76,
    Author       = "Shostak, R.E.",
    Year         = "1976",
    Title        = "{Refutation Graphs}",
    Journal      = "Artificial Intelligence",
    Volume       = "7",
    Pages        = "51-64",
    Comment      = "TPTPRef, linear systems"
}