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