%0 Journal Article %1 journals/jsc/Marchiori96 %A Marchiori, Massimo %D 1996 %J J. Symb. Comput. %K dblp %N 2 %P 143-154 %T On the Modularity of Normal Forms in Rewriting. %U http://dblp.uni-trier.de/db/journals/jsc/jsc22.html#Marchiori96 %V 22

@article{journals/jsc/Marchiori96, added-at = {2011-09-20T00:00:00.000+0200}, author = {Marchiori, Massimo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2247d744c6328cd6cb036bf4f12e396df/dblp}, ee = {http://dx.doi.org/10.1006/jsco.1996.0045}, interhash = {5e20cfb978628fcdcf23d0082d42983e}, intrahash = {247d744c6328cd6cb036bf4f12e396df}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 2, pages = {143-154}, timestamp = {2016-02-02T05:16:22.000+0100}, title = {On the Modularity of Normal Forms in Rewriting.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc22.html#Marchiori96}, volume = 22, year = 1996 }