@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}
}