@Article{MRS72,
    Author       = "Michie, D. and Ross, R. and Shannan, G.J.",
    Year         = "1972",
    Title        = "{G-deduction}",
    Journal      = "Machine Intelligence",
    Volume       = "7",
    Pages        = "141-165",
    Comment      = "TPTPRef, resolution/sample problems"
}