Dirk Beyer Andreas Noack Claus Lewerentz Efficient Relational Calculation for Software Analysis. 137-149 2005 31 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2005.23 db/journals/tse/tse31.html#BeyerNL04