@ARTICLE{tse20ruleGraphs, author={Lisa Nguyen Quang Do and Eric Bodden}, journal={IEEE Transactions on Software Engineering}, title={Explaining Static Analysis with Rule Graphs}, year={2020}, note = {To appear.}, url = {https://www.bodden.de/pubs/tse20ruleGraphs.pdf} }