Santiago Escobar Catherine Meadows José Meseguer State Space Reduction in the Maude-NRL Protocol Analyzer. 548-562 2008 ESORICS http://dx.doi.org/10.1007/978-3-540-88313-5_35 conf/esorics/2008 db/conf/esorics/esorics2008.html#EscobarMM08