TPTP Reference: Pel98

@Article{Pel98,
    Author       = "Pelletier, F.J.",
    Year         = "1998",
    Title        = "{Automated Natural Deduction in THINKER}",
    Journal      = "Studia Logica",
    Volume       = "60",
    Pages        = "3-43",
    Comment      = ""
}

@Article{Pel98-JLC,
    Author       = "Peltier, N.",
    Year         = "1998",
    Title        = "{A New Method for Automated Finite Model Building Exploiting Failures and
                    Symmetries}",
    Journal      = "Journal of Logic and Computation",
    Volume       = "8",
    Number       = "4",
    Pages        = "511-543",
    Comment      = "TPTPData,TPTPRef,TPTPCite"
}