@Article{Rob65-JACM,
    Author       = "Robinson, J.A.",
    Year         = "1965",
    Title        = "{A Machine-Oriented Logic Based on the Resolution
                    Principle}",
    Journal      = "Journal of the ACM",
    Volume       = "12",
    Number       = "1",
    Pages        = "23-41",
    Comment      = ""
}