Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach
scientific article; zbMATH DE number 5903834