Authors: Armando, A Coglio, A Giunchiglia, F Ranise, S

Citation: A. Armando et al., The control layer in open mechanized reasoning systems: Annotations and tactics, J SYMB COMP, 32(4), 2001, pp. 305-332