An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
Author:
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir et al
Publication:
Springer eBook
Publisher:
Springer Nature
Copyright © 2013, Springer-Verlag Berlin Heidelberg