The Unit Proof and the Input Proof in Theorem Proving.

Chin-Liang Chang: The Unit Proof and the Input Proof in Theorem Proving. J. ACM 17(4): 698-707(1970)

@article{DBLP:journals/jacm/Chang70,
  author    = {Chin-Liang Chang},
  title     = {The Unit Proof and the Input Proof in Theorem Proving},
  journal   = {J. ACM},
  volume    = {17},
  number    = {4},
  year      = {1970},
  pages     = {698-707},
  ee        = {db/journals/jacm/Chang70.html, http://doi.acm.org/10.1145/321607.321618},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

BibTeX