@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/