@article{journals/ai/GottlobM94,
  title = "Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity",
  author = "Georg Gottlob and Zhang Mingyi",
  year = "1994",
  journal = "Artif. Intell.",
  number = "1-2",
  pages = "329-345",
  volume = "69",
}