A New Method for Establishing Refutational Completeness in Theorem Proving.

Journal

8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings

Pages

141-152

Date Issued

1986

Author(s)

Hsiang, Jieh

Rusinowitch, Michaël

DOI

URI

URL

Type

conference paper