How to generalize logic programming to arbitrary set of clauses.
Prešić, Slaviša B.
Publications de l'Institut Mathématique. Nouvelle Série, Tome 61(75) (1997), p. 137-152 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 1997-01-01
MISANU-ID : j_publ_0001767
EUDML-ID : urn:eudml:doc:258044 
@article{01482189,
     title = {How to generalize logic programming to arbitrary set of clauses.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {61(75)},
     year = {1997},
     pages = {137-152},
     zbl = {0942.68017},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01482189}
}

Prešić, Slaviša B. How to generalize logic programming to arbitrary set of clauses.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 61(75) (1997) pp. 137-152. http://gdmltest.u-ga.fr/item/01482189/