Two Results in Term Rewriting Theorem Proving.

Journal

Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings

Pages

301-324

Date Issued

1985

Author(s)

DOI

URI

URL

Type

conference paper