Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming | Publicación