@article{KYB_1982_18_2_a1,
     author = {\v{S}ebel{\'\i}k, Jan},
     title = {Horn clause programs and recursive functions defined by systems of equations},
     journal = {Kybernetika},
     pages = {106--120},
     year = {1982},
     volume = {18},
     number = {2},
     mrnumber = {679783},
     zbl = {0489.03013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1982_18_2_a1/}
}