@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" }