Conjunctive Abstract Interpretation Using Paramodulation.

Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv

Browse the full VMCAI paper archive.