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

Research output: Chapter/Conference proceeding › Chapter › Academic

2 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Algorithms, concurrency and knowledge
Editors	K. Kanchansut, J.J. Levy
Place of Publication	Berlijn
Publisher	Springer-Verlag
Pages	269-285
Number of pages	17
Publication status	Published - 1995

Research programs

@inbook{8abfff7605974c2a842dd525627fa611,

title = "The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution",

author = "SH Cheng and \{de Wolf\}, R",

year = "1995",

language = "Undefined/Unknown",

pages = "269--285",

editor = "K. Kanchansut and J.J. Levy",

booktitle = "Algorithms, concurrency and knowledge",

publisher = "Springer-Verlag",

address = "Germany",

}