113
Voted
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
This paper is concerned with various schemes for enhancing the performance of modal tableau procedures. It discusses techniques and strategies for dealing with the nondeterminism i...