Composing and Controlling Search in Reasoning Theories using Mappings (1998)

Cached

Download Links

by Coglio Giunchiglia Meseguer , Scientifica E Tecnologica , A. Coglio , F. Giunchiglia , J. Meseguer , C. Talcott , Alessandro Coglio , Fausto Giunchiglia , Jose Meseguer , Carolyn L. Talcott