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