Knowledge Processing and Information Systems
eclingo : A Solver for Epistemic Logic Programs

@article{DBLP:journals/tplp/CabalarFG0S20,
  title = {eclingo : {A} Solver for Epistemic Logic Programs},
  author = {Cabalar, Pedro and Fandinno, Jorge and Garea, Javier and Romero, Javier and Schaub, Torsten},
  journal = {Theory Pract. Log. Program.},
  number = {6},
  pages = {834--847},
  volume = {20},
  year = {2020}
}