TY - JOUR AU - Prešić, Marica D. AU - Prešić, Slaviša B. TI - A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars. JO - Publications de l 'Institut Mathématique. Nouvelle Série PY - 1994 SP - 7 VL - 56(70) PB - mathdoc UR - https://geodesic-test.mathdoc.fr/item/PIM2_1994__56(70)_257936/ LA - en ID - PIM2_1994__56(70)_257936 ER -