@Article{Urq87,
    Author       = "Urquhart, A.",
    Year         = "1987",
    Title        = "{Hard Problems for Resolution}",
    Journal      = "Journal of the ACM",
    Volume       = "34",
    Number       = "1",
    Pages        = "209-219",
    Comment      = "TPTPRef"
}