C. L. Chang
C. L. Chang.
The unit proof and the input proof in theorem proving.
Journal of the ACM
, 17(4):698-707, October 1970.
References, Citations, etc.
C. L. Chang and J. R. Slagle.
Completeness of linear refutation for theories with equality.
Journal of the ACM
, 18(1):126-136, January 1971.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database