@Article{HS97-AI,
    Author       = "Horton, J.D. and Spencer, B.",
    Year         = "1997",
    Title        = "{Clause Trees:  A Tool for Understanding and Implementing
                    Resolution in Automated Reasoning}",
    Journal      = "Artificial Intelligence",
    Volume       = "92",
    Pages        = "25-89",
    Comment      = "TPTPCite"
}

@TechReport{HS97-TR,
    Author       = "Hustadt, U. and Schmidt, R.",
    Year         = "1997",
    Title        = "{On Evaluating Decision Procedures for Modal Logic}",
    Number       = "MPI-I-97-2-003",
    Institution  = "Max-Plank Institut Fur Informatik",
    Address      = "Saarbrucken, Germany",
    Comment      = ""
}

@InProceedings{HS97-IJCAI,
    Author       = "Hustadt, U. and Schmidt, R.A.",
    Year         = "1997",
    Title        = "{On Evaluating Decision Procedures for Modal Logics}",
    Editor       = "Pollack M.E.",
    BookTitle    = "{Proceedings of the 15th International Joint Conference on
                    Artificial Intelligence}",
    Place        = "Nagoya, Japan",
    Pages        = "202-207",
    Publisher    = "Morgan Kaufmann",
    Comment      = "TPTPRef"
}