Tadashi Kanamori, Tadashi Kawamura. Abstract Interpretation based on OLDT Resolution. Journal of Logic and Algebraic Programming, 15(1&2):1-30, 1993.
@article{KanamoriK93, title = {Abstract Interpretation based on OLDT Resolution}, author = {Tadashi Kanamori and Tadashi Kawamura}, year = {1993}, tags = {rule-based}, researchr = {https://researchr.org/publication/KanamoriK93}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {15}, number = {1&2}, pages = {1-30}, }