Lunjin Lu. Path dependent analysis of logic programs. In ASIA-PEPM. pages 63-74, 2002. [doi]
@inproceedings{Lu02, title = {Path dependent analysis of logic programs}, author = {Lunjin Lu}, year = {2002}, doi = {10.1145/503032.503038}, url = {http://doi.acm.org/10.1145/503032.503038}, tags = {program analysis, analysis, logic programming, logic}, researchr = {https://researchr.org/publication/Lu02}, cites = {0}, citedby = {0}, pages = {63-74}, booktitle = {ASIA-PEPM}, }