## Resolution Theorem Proving (2001)

by
Leo Bachmair
,
Harald Ganzinger

Citations: | 153 - 1 self |

### BibTeX

@MISC{Bachmair01resolutiontheorem,

author = {Leo Bachmair and Harald Ganzinger},

title = { Resolution Theorem Proving},

year = {2001}

}