@article{BSWZ01,
  key         ={BSWZ01},
  author      ={M. Baldamus and K. Schneider and M. Wenz and R. Ziller},
  title       ={Can American Checkers be Solved by Means of Symbolic Model Checking?},
  journal     ={Electronic Notes in Theoretical Computer Science (ENTCS)},
  publisher   ={Elsevier},
  volume      ={43},
  pages       ={15-33},
  year        ={2001},
  remark      ={rsg},
}