@Article{PR86,
    Author       = "Pelletier, F.J. and Rudnicki, P.",
    Year         = "1986",
    Title        = "{Non-Obviousness}",
    Journal      = "Association for Automated Reasoning Newsletter",
    Number       = "6",
    Pages        = "4-5",
    Comment      = "TPTPRef"
}