Propositional default logics made easier: computational complexity of model checking
Robert Baumgartner and Georg Gottlob
Details
| Journal |
Theor. Comput. Sci. |
| Number |
1 |
| Pages |
591−627 |
| Volume |
289 |
| Year |
2002 |
Links
Related pages
|
People |