%0 Journal Article
%A S. A. Khachatryan
%T On termination of functional symbol-free logic programs
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2013
%P 49-56
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2013_3_a7/
%G en
%F UZERU_2013_3_a7