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

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