Completeness of Linear Refutation for Theories with Equality

• Authors:

• C. L. Chang;J. R. Slagle

• Affiliations:

• National Institutes of Health, Division of Computer Research and Technology, Public Health Service, Department of Health, Education and Welfare, Bethesda, Maryland;National Institutes of Health, Division of Computer Research and Technology, Public Health Service, Department of Health, Education and Welfare, Bethesda, Maryland

• Venue:
• Journal of the ACM (JACM)
• Year:
• 1971