Automating security analysis: symbolic equivalence of constraint systems. (2010)

by V Cheval, H Comon-Lundh, S Delaune
Venue:IJCAR 2010. LNCS,