@article{darwiche01tractable,
  author    = {Adnan Darwiche},
  title     = {On the Tractable Counting of Theory Models and its Application
               to Truth Maintenance and Belief Revision},
  journal   = {Journal of Applied Non-Classical Logics},
  volume    = {11},
  number    = {1-2},
  year      = {2001},
  pages     = {11-34},
}