Reasoning theories – towards an architecture for open mechanized reasoning systems (1996)

by F Giunchiglia, P Pecchiari, C Talcott
Venue:Schulz (eds), Frontiers of Combining Systems (FroCoS-1): 1st International Workshop