Authors: Plaisted, DA

Citation: Da. Plaisted, Special cases and substitutes for rigid E-unification, APPL ALG EN, 10(2), 2000, pp. 97-152

Authors: Plaisted, DA Zhu, YS

Citation: Da. Plaisted et Ys. Zhu, Replacement rules with definition detection, LECT N A I, 1761, 2000, pp. 80-94

Authors: Osorio, M Jayaraman, B Plaisted, DA

Citation: M. Osorio et al., Theory of partial-order programming, SCI COMP PR, 34(3), 1999, pp. 207-238

Authors: Plaisted, DA Kucherov, G

Citation: Da. Plaisted et G. Kucherov, The complexity of some complementation problems, INF PROCESS, 71(3-4), 1999, pp. 159-165