B
[BG02] Robert Baumgartner et Georg Gottlob. Propositional Default Logics made Easier: Computational Complexity of Model Checking. Theoretical Computer Science 289(1):591-627. Elsevier, octobre 2002. 
@article{tcs289(1)-BG,
  author =              {Baumgartner, Robert and Gottlob, Georg},
  title =               {Propositional Default Logics made Easier:
                         Computational Complexity of Model Checking},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {289},
  number =              {1},
  pages =               {591-627},
  year =                {2002},
  month =               oct,
}
Liste des auteurs