@INCOLLECTION{HustadtSchmidt2000e,
 AUTHOR        = {Hustadt, U. and Schmidt, R. A.},
 TITLE         = {Using Resolution for Testing Modal Satisfiability and Building Models},
 BOOKTITLE     = {{SAT2000}: Highlights of Satisfiability Research in the Year 2000},
 PAGES         = {459--483},
 PUBLISHER     = {IOS Press},
 PADDRESS      = {Amsterdam},
 YEAR          = {2000},
 EDITOR        = {Gent, I. and van Maaren, H. and Walsh, T.},
 SERIES        = {Frontiers in Artificial Intelligence and Applications},
 VOLUME        = {63},
 ISBN          = {1-58603-061-2},
}