@InProceedings{Wal01,
    Author       = "Waldmann, U.",
    Year         = "2001",
    Title        = "{Superposition and Chaining for Totally Ordered Divisible
                    Abelian Groups}",
    Editor       = "Gore, R. and Leitsch, A. and Nipkow, T.",
    BookTitle    = "{Proceedings of the International Joint Conference on
                    Automated Reasoning}",
    Place        = "Siena, Italy",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "2083",
    Pages        = "226-241",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}