@InProceedings{MN90,
    Author       = "Martin, U. and Nipkow, T.",
    Year         = "1990",
    Title        = "{Ordered Rewriting and Confluence}",
    Editor       = "Stickel, M.E.",
    BookTitle    = "{Proceedings of the 10th International Conference on
                    Automated Deduction}",
    Place        = "Kaiserslautern, Germany",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "449",
    Pages        = "366-380",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}