Initial models and Horn clause axiomatizability.
Kapetanović, M.
Publications de l'Institut Mathématique. Nouvelle Série, Tome 66(80) (1999), p. 17-19 / Harvested from The Electronic Library of Mathematics
Publié le : 1999-01-01
MISANU-ID : j_publ_0001818
EUDML-ID : urn:eudml:doc:258116
@article{01873279,
     title = {Initial models and Horn clause axiomatizability.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {66(80)},
     year = {1999},
     pages = {17-19},
     zbl = {1006.03030},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01873279}
}
Kapetanović, M. Initial models and Horn clause axiomatizability.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 66(80) (1999) pp. 17-19. http://gdmltest.u-ga.fr/item/01873279/