@InProceedings{AB90,
    Author       = "Anantharaman, S. and Bonacina, M.P.",
    Year         = "1990",
    Title        = "{An Application of the Theorem Prover SBR3 to Many-Valued
                    Logic}",
    Editor       = "Okada, M. and Kaplan, S.",
    BookTitle    = "{Proceedings of the 2nd International Workshop on
                    Conditional and Typed Rewriting Systems}",
    Place        = "Montreal, Canada",
    Series       = "Lecture Notes in Computer Science",
    Number       = "516",
    Pages        = "156-161",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}