![](/img/cover-not-exists.png)
Detecting embedded Horn structure in propositional logic
V. Chandru, J.N. HookerVolume:
42
Year:
1992
Language:
english
Pages:
3
DOI:
10.1016/0020-0190(92)90098-g
File:
PDF, 259 KB
english, 1992