%0 Conference Paper %1 conf/wflp/AlpuenteEL00 %A Alpuente, María %A Escobar, Santiago %A Lucas, Salvador %B WFLP %D 2000 %E Alpuente, María %K dblp %P 309-323 %T Redundancy Analyses in Term Rewriting. %U http://dblp.uni-trier.de/db/conf/wflp/wflp2000.html#AlpuenteEL00

@inproceedings{conf/wflp/AlpuenteEL00, added-at = {2020-11-10T00:00:00.000+0100}, author = {Alpuente, María and Escobar, Santiago and Lucas, Salvador}, biburl = {https://www.bibsonomy.org/bibtex/2b7ac7b0721727e6010574d2feba2ffd4/dblp}, booktitle = {WFLP}, crossref = {conf/wflp/2000}, editor = {Alpuente, María}, interhash = {9b0605c0029b50410b4d9b735e1812b3}, intrahash = {b7ac7b0721727e6010574d2feba2ffd4}, keywords = {dblp}, pages = {309-323}, timestamp = {2020-11-11T11:42:25.000+0100}, title = {Redundancy Analyses in Term Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/wflp/wflp2000.html#AlpuenteEL00}, year = 2000 }