TPTP Reference: HS00
@TechReport{HS00,
Author = "Hodgson, K. and Slaney, J.K.",
Year = "2000",
Title = "{Semantic Guidance for Saturation-based Theorem Proving}",
Number = "TR-ARP-04-2000",
Institution = "Automated Reasoning Project, Australian National
University",
Address = "Canberra, Australia",
Comment = ""
}
@InProceedings{HS00-SATLIB,
Author = "Hoos, H. and St{\"u}tzle, T.",
Year = "2000",
Title = "{SATLIB: An Online Resource for Research on SAT}",
Editor = "Gent, I. and van Maaren, H. and Walsh, T.",
BookTitle = "{Proceedings of the 3rd Workshop on the Satisfiability
Problem}",
Place = "Renesse, The Netherlands",
Pages = "283-292",
Publisher = "IOS Press",
Comment = ""
}
@InCollection{HS00-Logics,
Author = "Hustadt, U. and Schmidt, R.",
Year = "2000",
Title = "{Issues of Decidability for Description Logics in the
Framework of Resolution}",
Editor = "Caferra, R. and Salzer, G.",
BookTitle = "{Automated Deduction in Classical and Non-Classical
Logics}",
Series = "Lecture Notes in Artificial Intelligence",
Number = "1761",
Pages = "191-205",
Publisher = "Springer-Verlag",
Comment = "TPTPRef"
}
@InProceedings{HS00-TABLEAUX,
Author = "Hustadt, U. and Schmidt, R.",
Year = "2000",
Title = "{MSPASS: Modal Reasoning by Translation and First-Order
Resolution}",
Editor = "Dyckhoff, R.",
BookTitle = "{Proceedings of the International Conference on Automated
Reasoning with Analytic Tableaux and Related Methods}",
Place = "St Andrews, United Kingdom",
Series = "Lecture Notes in Artificial Intelligence",
Number = "1847",
Pages = "67-71",
Publisher = "Springer-Verlag",
Comment = "TPTPRef"
}