@InProceedings{NRV97,
    Author       = "Nieuwenhuis, R. and Rivero, J.M. and Vallejo, M.A.",
    Year         = "1997",
    Title        = "{Dedam: A Kernel of Data Structures and Algorithms for
                    Automated Deduction with Equality Clauses}",
    Editor       = "McCune, W.W.",
    BookTitle    = "{Proceedings of the 14th International Conference on
                    Automated Deduction}",
    Place        = "Townsville, Australia",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "1249",
    Pages        = "",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}