(1978). A recursively defined ordering for proving termination of term rewriting systems / by David A. Plaisted.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումA Recursively Defined Ordering for Proving Termination of Term Rewriting Systems / by David A. Plaisted. 1978.
MLA (9րդ խմբ.) ՄեջբերումA Recursively Defined Ordering for Proving Termination of Term Rewriting Systems / by David A. Plaisted. 1978.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.