Satisfiability Checking for PC(ID). - Maarten Mariën; Rudradeb Mitra; Marc Denecker; Maurice Bruynooghe (LPAR, 2005)

Methods of case adaptation: A survey. - Rudradeb Mitra; Jayanta Basak (Int. J. Intell. Syst., 2005)