%0 Journal Article
%A Šebelík, Jan
%T Horn clause programs and recursive functions defined by systems of equations
%J Kybernetika
%D 1982
%P 106-120
%V 18
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1982__18_2_a1/
%G en
%F KYB_1982__18_2_a1