%0 Journal Article %1 journals/jlp/KanamoriK93 %A Kanamori, Tadashi %A Kawamura, Tadashi %D 1993 %J J. Log. Program. %K dblp %N 1&2 %P 1-30 %T Abstract Interpretation based on OLDT Resolution. %U http://dblp.uni-trier.de/db/journals/jlp/jlp15.html#KanamoriK93 %V 15

@article{journals/jlp/KanamoriK93, added-at = {2021-02-17T00:00:00.000+0100}, author = {Kanamori, Tadashi and Kawamura, Tadashi}, biburl = {https://www.bibsonomy.org/bibtex/2ac9d7cb110ac5726f7d5735bfabe1399/dblp}, ee = {https://doi.org/10.1016/0743-1066(93)90011-5}, interhash = {1d575f3922e112da8b6bce4eaf2bc47c}, intrahash = {ac9d7cb110ac5726f7d5735bfabe1399}, journal = {J. Log. Program.}, keywords = {dblp}, number = {1&2}, pages = {1-30}, timestamp = {2024-04-08T10:50:13.000+0200}, title = {Abstract Interpretation based on OLDT Resolution.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp15.html#KanamoriK93}, volume = 15, year = 1993 }