Fermüller, C.G., Hustadt, U., Leitsch, A., Tammet, T.

Resolution decision procedures

author

Fermüller, Christian G.

Hustadt, Ullrich

Leitsch, Alexander

Tammet, Tanel

statement of authorship

Christian G.Fermüller, Ullrich Hustadt, Alexander Leitsch, Tanel Tammet

source

Handbook of automated reasoning. Vol. 2

location of publication

Amsterdam

publisher

Elsevier

year of publication

2001

pages

p. 1791-1849

ISBN

0444508120

notes

Bibliogr.: p. 1843-1846

Fermüller, C.G., Hustadt, U., Leitsch, A., Tammet, T. Resolution decision procedures // Handbook of automated reasoning. Vol. 2. Amsterdam : Elsevier, 2001. p. 1791-1849.