New decidability results for fragments of first-order logic and application to cryptographic protocols (0)

by H Comon-Lundh, V Cortier
Venue:In Proc. of the 14th Int. Conf. on Rewriting Techniques and Applications (RTA’2003). LNCS