An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics

Aceto, L., Della Monica, D., Ingólfsdóttir, A., Montanari, A., & Sciavicco, G. (2013). An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Lecture notes in computer science, 1–17. https://doi.org/10.1007/978-3-642-45221-5_1

Aceto, Luca, et al. “An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.” Lecture notes in computer science, 2013, pp. 1–17, https://doi.org/10.1007/978-3-642-45221-5_1.

Aceto, Luca, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, and Guido Sciavicco. 2013. “An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.” Lecture notes in computer science: 1–17. https://doi.org/10.1007/978-3-642-45221-5_1.

Aceto, L. et al. (2013) ‘An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics’, Lecture notes in computer science, pp. 1–17. Available at: https://doi.org/10.1007/978-3-642-45221-5_1.

@incollection{aceto2013algorithm,
  title = {{An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics}},
  author = {Aceto, Luca and Della Monica, Dario and Ingólfsdóttir, Anna and Montanari, Angelo and Sciavicco, Guido},
  booktitle = {Lecture notes in computer science},
  pages = {1--17},
  year = {2013},
  doi = {10.1007/978-3-642-45221-5_1}
}