@inproceedings{lpar13,
  author    = {Luca Aceto and
               Della Monica, Dario and
               Anna Ing{\'o}lfsd{\'o}ttir and
               Angelo Montanari and
               Guido Sciavicco},
  title     = {An Algorithm for Enumerating Maximal Models
               of {H}orn Theories with an Application to
               Modal Logics},
  booktitle = {Proc. of the 19th International Conference
               on Logic for Programming, Artificial
               Intelligence, and Reasoning (LPAR)},
  year      = {2013},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8312},
  pages     = {1-17}
}