An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.

Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco

Browse the full LPAR paper archive.