@article{PIM2_1994__56(70)_257936, author = {Pre\v{s}i\'c, Marica D. and Pre\v{s}i\'c, Slavi\v{s}a B.}, title = {A constructive proof of equivalence of formalism of {DCG's} with the formalism of type 0 phrase-structure grammars.}, journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie}, pages = {7}, publisher = {mathdoc}, volume = {56(70)}, year = {1994}, zbl = {0830.03013}, language = {en}, url = {https://geodesic-test.mathdoc.fr/item/PIM2_1994__56(70)_257936/} }