%0 Journal Article %1 journals/jlp/HaasJ97 %A Haas, Juergen %A Jayaraman, Bharat %D 1997 %J J. Log. Program. %K dblp %N 1 %P 1-23 %T From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. %U http://dblp.uni-trier.de/db/journals/jlp/jlp30.html#HaasJ97 %V 30

@article{journals/jlp/HaasJ97, added-at = {2021-02-17T00:00:00.000+0100}, author = {Haas, Juergen and Jayaraman, Bharat}, biburl = {https://www.bibsonomy.org/bibtex/2d68c8a69c0bb67bd8fd1c50e6a11cf67/dblp}, ee = {https://doi.org/10.1016/S0743-1066(96)00015-5}, interhash = {92ddba16fdce9d1d9fab493f94c7a922}, intrahash = {d68c8a69c0bb67bd8fd1c50e6a11cf67}, journal = {J. Log. Program.}, keywords = {dblp}, number = 1, pages = {1-23}, timestamp = {2024-04-08T10:50:21.000+0200}, title = {From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp30.html#HaasJ97}, volume = 30, year = 1997 }