David A. Plaisted. Special Cases and Substitutes for Rigid E-Unification. Appl. Algebra Eng. Commun. Comput., 10(2):97-152, 2000. [doi]
@article{Plaisted00,
title = {Special Cases and Substitutes for Rigid E-Unification},
author = {David A. Plaisted},
year = {2000},
url = {http://link.springer.de/link/service/journals/00200/bibs/0010002/00100097.htm},
tags = {e-science},
researchr = {https://researchr.org/publication/Plaisted00},
cites = {0},
citedby = {0},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {10},
number = {2},
pages = {97-152},
}