The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution

SH Cheng, R de Wolf

Research output: Chapter/Conference proceedingChapterAcademic

2 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationAlgorithms, concurrency and knowledge
EditorsK. Kanchansut, J.J. Levy
Place of PublicationBerlijn
Pages269-285
Number of pages17
Publication statusPublished - 1995

Cite this