An empirical analysis of modal theorem provers (1999)

by U Hustadt, R A Schmidt
Venue:J. Appl. Non-Classical Logics