Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems (1996)

by F Giunchiglia, P Pecchiari, C Talcott
Venue:In Proc. of Frontiers of Combining Systems