eclingo : A Solver for Epistemic Logic Programs. - Pedro Cabalar; Jorge Fandinno; Javier Garea; Javier Romero 003; Torsten Schaub (Theory Pract. Log. Program., 2020)