@inproceedings{DBLP:conf/cade/PotterP88,
author = {Richard C. Potter and
David A. Plaisted},
title = {Term Rewriting: Some Experimental Results},
booktitle = {CADE},
year = {1988},
pages = {435-453},
ee = {http://dx.doi.org/10.1007/BFb0012848},
crossref = {DBLP:conf/cade/1988},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cade/1988,
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {9th International Conference on Automated Deduction, Argonne,
Illinois, USA, May 23-26, 1988, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {310},
year = {1988},
isbn = {3-540-19343-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-09-14 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
