%0 Journal Article %1 journals/corr/abs-1804-01839 %A Garcia-Contreras, Isabel %A Morales, José F. %A Hermenegildo, Manuel V. %D 2018 %J CoRR %K dblp %T An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-01839 %V abs/1804.01839

@article{journals/corr/abs-1804-01839, added-at = {2021-04-23T00:00:00.000+0200}, author = {Garcia-Contreras, Isabel and Morales, José F. and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2acb4d91ca281d8da901403a1d32f8ea2/dblp}, ee = {http://arxiv.org/abs/1804.01839}, interhash = {e2803425541fcb91efc1d6bf673a79ba}, intrahash = {acb4d91ca281d8da901403a1d32f8ea2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:26:56.000+0200}, title = {An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-01839}, volume = {abs/1804.01839}, year = 2018 }