A translation of relational database query languages into SIBYL /

Bibliography: p. [77]-78.

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."

A Query submitted to the consideration of the people called Quakers, respecting the reasonableness of their disapprobation of music.

Mode of access: Internet.

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.