An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics | Publicación