@Article{WM76,
    Author       = "Wilson, G.A. and Minker, J.",
    Year         = "1976",
    Title        = "{Resolution, Refinements, and Search Strategies: A
                    Comparative Study}",
    Journal      = "IEEE Transactions on Computers",
    Volume       = "C-25",
    Number       = "8",
    Pages        = "782-801",
    Comment      = "TPTPRef"
}