TY  - JOUR
AU  - S. A. Khachatryan
TI  - On termination of functional symbol-free logic programs
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2013
SP  - 49
EP  - 56
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2013_3_a7/
LA  - en
ID  - UZERU_2013_3_a7
ER  -