![](/img/cover-not-exists.png)
Clause trees: a tool for understanding and implementing resolution in automated reasoning
J.D. Horton, Bruce SpencerVolume:
92
Year:
1997
Language:
english
Pages:
65
DOI:
10.1016/s0004-3702(96)00046-x
File:
PDF, 4.36 MB
english, 1997