Ralf Küsters, Tomasz Truderung. Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. Journal of Automated Reasoning, 46(3-4):325-352, 2011. [doi]
@article{KustersT11, title = {Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach}, author = {Ralf Küsters and Tomasz Truderung}, year = {2011}, doi = {10.1007/s10817-010-9188-8}, url = {http://dx.doi.org/10.1007/s10817-010-9188-8}, tags = {protocol, analysis, systematic-approach}, researchr = {https://researchr.org/publication/KustersT11}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {46}, number = {3-4}, pages = {325-352}, }