@Article{RV03-JSC,
    Author       = "Riazanov, A. and Voronkov, A.",
    Year         = "2003",
    Title        = "{Limited Resource Strategy in Resolution Theorem Proving}",
    Journal      = "Journal of Symbolic Computation",
    Volume       = "36",
    Number       = "1-2",
    Pages        = "101-115",
    Comment      = "TPTPCite"
}