Displaying similar documents to “A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.”