Composing and Controlling Search in Reasoning Theories Using Mappings

• Authors:

• Alessandro Coglio;Fausto Giunchiglia;José Meseguer;Carolyn L. Talcott

• Affiliations:

• -;-;-;-

• Venue:
• FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
• Year:
• 2000