TPTP Reference: KK16
@InProceedings{KK16,
Author = "Khasidashvili, Z. and Korovin, K.",
Year = "2016",
Title = "{Predicate Elimination for Preprocessing in First-order Theorem Proving}",
Editor = "Creignou, N. and Le Berre, D.",
BookTitle = "{Proceedings of the 19th International Conference on
Theory and Applications of Satisfiability Testing}",
Place = "Bordeaux, France",
Series = "Lecture Notes in Computer Science",
Number = "9710",
Pages = "361-372",
Publisher = "Springer-Verlag",
Comment = ""
}