@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"
}