@article{AnantharamanBNR14,
author = "Siva Anantharaman and Christopher Bouchard and Paliath Narendran and Micha{\"e}l Rusinowitch",
doi = "10.2168/LMCS-10(1:5)2014",
journal = "Logical Methods in Computer Science",
note = "partner: INRIA; projects: NESSoS; citations:0",
title = "{U}nification modulo a 2-sorted {E}quational theory for {C}ipher-{D}ecipher               {B}lock {C}haining",
volume = "10",
year = "2014",
}