@INPROCEEDINGS{HustadtSchmidt2000c,
 AUTHOR        = {Hustadt, Ullrich and Schmidt, Renate},
 TITLE         = {{MSPASS}: Modal reasoning by translation and first-order resolution},
 PAGES         = {67--71},
 BOOKTITLE     = {Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (T
ABLEAUX 2000)},
 YEAR          = {2000},
 EDITOR        = {Dyckhoff, Roy},
 PUBLISHER     = {Springer},
 PADDRESS      = {Berlin},
 PYEAR         = {2000},
 CADDRESS      = {St. Andrews, Scotland},
 CYEAR         = {2000},
 CMONTH        = jul # {3--7},
 SERIES        = {LNAI},
 VOLUME        = {1847},
 ISBN          = {3-540-67697-X},
}