@INPROCEEDINGS{SA-MPB:CTRS1990:mv,
AUTHOR = "Siva Anantharaman and Maria Paola Bonacina",
TITLE = "An application of automated equational reasoning to many-valued logic",
BOOKTITLE = "Proceedings of the Second International
Workshop on Conditional and Typed Term Rewriting Systems (CTRS), June 1990",
EDITOR = "Mitsuhiro Okada and Kaplan, Stephan",
SERIES = "Lecture Notes in Computer Science",
VOLUME = 516,
PAGES = "156--161",
PUBLISHER = "Springer",
YEAR = 1991,
NOTE = "Presented at the workshop with the title:
An application of the theorem prover SBR3 to many-valued logic.}