Хорнова клауза (Serbian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Хорнова клауза" in Serbian language version.

refsWebsite

Global rank Serbian rank

2^nd place

4^th place

low place

8,037^th place

doi.org

Horn, Alfred (1951). „On sentences which are true of direct unions of algebras”. Journal of Symbolic Logic. 16 (1): 14—21. doi:10.2307/2268661.
Dowling, William F.; Gallier, Jean H. (1984). „Linear-time algorithms for testing the satisfiability of propositional Horn formulae”. Journal of Logic Programming. 1 (3): 267—284. doi:10.1016/0743-1066(84)90014-1.
van Emden, M. H.; Kowalski, R. A. (1976). „The semantics of predicate logic as a programming language” (PDF). Journal of the ACM. 23 (4): 733—742. doi:10.1145/321978.321991.