A Partial Taxonomy of Substitutability and Interchangeability - Shant Karakashian; Robert J. Woodward; Berthe Y. Choueiry; Steven Prestwhich; Eugene C. Freuder (CoRR, 2010)