A recursively defined ordering for proving termination of term rewriting systems /

NSF MCS 77-22830."

The recursive nature of descriptions : a fixed point /

"UIUC-ENG-R-75-2539."