@InProceedings{McC88, Author = "McCune, W.W.", Year = "1988", Title = "{Challenge Equality Problems in Lattice Theory}", BookTitle = "{Proceedings of the 9th International Conference on Automated Deduction}", Place = "Argonne, USA", Pages = "704-709", Publisher = "Springer", Comment = "TPTPRef" }