@incollection{Yoshihito/86,
AUTHOR = {Yoshihito, Toyama},
TITLE = {On Equivalence Transformations for Term Rewriting},
BOOKTITLE = {Proceedings of RIMS Symposia on Software Science and Engineering II (Kyoto 183/184)},
SERIES = {LNCS},
VOLUME = {220},
PAGES = {44-61},
YEAR = {1986},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=220&spage=44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}