The language of epistemic specifications (refined) including a prototype solver. - Patrick Kahl; Richard Watson 003; Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (J. Log. Comput., 2020)