%0 Journal Article %1 journals/tcs/OrejasPE97 %A Orejas, Fernando %A Pino, Elvira %A Ehrig, Hartmut %D 1997 %J Theor. Comput. Sci. %K dblp %N 2 %P 485-511 %T Institutions for Logic Programming. %U http://dblp.uni-trier.de/db/journals/tcs/tcs173.html#OrejasPE97 %V 173

@article{journals/tcs/OrejasPE97, added-at = {2021-02-17T00:00:00.000+0100}, author = {Orejas, Fernando and Pino, Elvira and Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/2fe41dd39198d7345693383347cfcdfae/dblp}, ee = {https://doi.org/10.1016/S0304-3975(96)00164-8}, interhash = {a5d8cdfb3b78543bb9a670f8fb928909}, intrahash = {fe41dd39198d7345693383347cfcdfae}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {485-511}, timestamp = {2024-04-08T18:36:49.000+0200}, title = {Institutions for Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs173.html#OrejasPE97}, volume = 173, year = 1997 }