Some Notes on Basic Syntactic Mutation. - Kimberly A. Gero; Christopher Bouchard; Paliath Narendran (UNIF, 2012)

Unification Modulo Chaining. - Siva Anantharaman; Christopher Bouchard; Paliath Narendran; Michaël Rusinowitch (LATA, 2012)

On Forward Closure and the Finite Variant Property. - Christopher Bouchard; Kimberly A. Gero; Christopher Lynch; Paliath Narendran (FroCos, 2013)

Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. - Siva Anantharaman; Christopher Bouchard; Paliath Narendran; Michaël Rusinowitch (Log. Methods Comput. Sci., 2014)