Composing and Controlling Search in Reasoning Theories Using Mappings

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_14 ◽

2000 ◽

pp. 200-216

Author(s):

Alessandro Coglio ◽

Fausto Giunchiglia ◽

José Meseguer ◽

Carolyn L. Talcott

Download Full-text