A new decidable Horn fragment of predicate calculus.
Orevkov, V.P.
Zapiski Nauchnykh Seminarov POMI, Tome 314 (2004), p. 147-162 / Harvested from The Electronic Library of Mathematics
Full (PS)
Publié le : 2004-01-01
EUDML-ID : urn:eudml:doc:226085 
@article{02187724,
     title = {A new decidable Horn fragment of predicate calculus.},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     volume = {314},
     year = {2004},
     pages = {147-162},
     zbl = {1088.03011},
     language = {en},
     url = {http://dml.mathdoc.fr/item/02187724}
}

Orevkov, V.P. A new decidable Horn fragment of predicate calculus.. Zapiski Nauchnykh Seminarov POMI, Tome 314 (2004) pp. 147-162. http://gdmltest.u-ga.fr/item/02187724/