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

NSF MCS 77-22830."

Orderings for term-rewriting systems /

"Research supported in part under NSF grant MCS 77-22830."

American jurisprudence : a comprehensive text statement of American case law as developed in the cases and annotations in the Annotated reports system, being a rewriting of Ruling case law to reflect the modern developments of the law /

Kept up to date by "revised" or replacement vols. ; subtitle varies.

Touti nameh.

"Ueber die Legende von den sieben Schläfern, von C. J. L. Iken."; p. 288-311.