![](/img/cover-not-exists.png)
Extension and Equivalence Problems for Clause Minimal Formulae
Hans Kleine Büning, Xishun ZhaoVolume:
43
Year:
2005
Language:
english
Pages:
12
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/s10472-004-9435-y
File:
PDF, 120 KB
english, 2005