Alessandro Coglio Fausto Giunchiglia José Meseguer Carolyn L. Talcott Composing and Controlling Search in Reasoning Theories Using Mappings. 200-216 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#CoglioGMT00