Equational reasoning and term rewriting systems (1993) [42 citations — 6 self]
by David A. Plaisted
Handbook of logic in artificial intelligence and logic programming
http://www.loria.fr/~vigneron/RewritingHP/documents/plaisted.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Plaisted93equationalreasoning,author = {David A. Plaisted},
title = {Equational reasoning and term rewriting systems},
booktitle = {Handbook of logic in artificial intelligence and logic programming},
year = {1993},
pages = {273--364},
publisher = {Oxford University Press}
}
Years of Citing Articles
