On evaluating decision procedures for modal logic (1997)

by Ullrich Hustadt , Renate A. Schmidt
Citations:52 - 7 self