@Article{Pel88, Author = "Pelletier, F.J.", Year = "1988", Title = "{Errata}", Journal = "Journal of Automated Reasoning", Volume = "4", Number = "2", Pages = "235-236", Comment = "TPTPRef" }