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