@article{lmcs:808, title = {Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining}, author = {Siva Anantharaman and Christopher Bouchard and Paliath Narendran and Michaƫl Rusinowitch}, url = {https://lmcs.episciences.org/808}, doi = {10.2168/LMCS-10(1:5)2014}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 10, Issue 1}, eid = 5, year = {2014}, month = {Feb}, keywords = {Computer Science - Logic in Computer Science}, }