@Article{HK+94,
    Author       = "Heinsohn, J. and Kudenko, D. and Nebel, B. and
                    Profitlich, H-J.",
    Year         = "1994",
    Title        = "{An Empirical Analysis of Terminological Representation
                    Systems}",
    Journal      = "Artificial Intelligence",
    Volume       = "68",
    Number       = "2",
    Pages        = "367-397",
    Comment      = "TPTPRef"
}

@InProceedings{HK+94-CADE-12,
    Author       = "Huang, X. and Kerber, M. and Kohlhase, M. and Melis, E.
                    and Nesmith, D. and Richts, J. and Siekmann, J.",
    Year         = "1994",
    Title        = "{$\Omega$-MKRP: A Proof Development Environment}",
    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        = "788-792",
    Publisher    = "Springer-Verlag"
}

@InProceedings{HK+94-CADE-12-2C,
    Author       = "Huang, X. and Kerber, M. and Kohlhase, M. and Nesmith, D.
                    and Richts, J.",
    Year         = "1994",
    Title        = "{A Test for Evaluating the Practical Usefulness of
                    Deduction Systems}",
    Editor       = "Sutcliffe, G. and Suttner, C.B.",
    BookTitle    = "{Proceedings of the CADE-12 Workshop 2C - Evaluation of
                    Automated Theorem Proving Systems}",
    Place        = "Nancy, France",
    Pages        = "33-36",
    Comment      = "TPTPCite"
}