TPTP Reference: Pla94
@InProceedings{Pla94-CADE-12,
Author = "Plaisted, D.A.",
Year = "1994",
Title = "{The Search Efficiency of Theorem Proving Strategies}",
Editor = "Bundy, A.",
BookTitle = "{Proceedings of the 12th International Conference on
Automated Deduction}",
Place = "Nancy, France",
Series = "Lecture Notes in Artificial Intelligence",
Number = "814",
Pages = "57-71",
Publisher = "Springer-Verlag",
Comment = "TPTPRef"
}
@TechReport{Pla94-TR,
Author = "Plaisted, D.A.",
Year = "1994",
Title = "{The Search Efficiency of Theorem Proving Strategies: An
Analytical Comparison}",
Number = "MPI-I-94-233",
Institution = "Max-Planck-Institut f{\"u}r Informatik",
Address = "Saarbrucken, Germany"
}