@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 2nd International Workshop on Conditional and Typed Term Rewriting Systems (CTRS), June 1990",
EDITOR = "Mitsuhiro Okada and Stephan Kaplan",
SERIES = "Lecture Notes in Computer Science",
VOLUME = 516,
PAGES = "156--161",
PUBLISHER = "Springer",
DOI = "10.1007/3-540-54317-1_88",
YEAR = 1991,
NOTE = "Presented at the workshop with the title:
An application of the theorem prover SBR3 to many-valued logic."}