Reasoning under minimal upper bounds in propositional logic
Thomas Eiter and Georg Gottlob
Details
| Journal |
Theor. Comput. Sci. |
| Number |
1−3 |
| Pages |
82−115 |
| Volume |
369 |
| Year |
2006 |
Links
DOI (10.1016/j.tcs.2006.07.054)
Related pages
|
People |