A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple | Publicación