@inproceedings{BSWZ00,
  key         ={BSWZ00},
  author      ={M. Baldamus and K. Schneider and M. Wenz and R. Ziller},
  title       ={Can American Checkers be Solved by Means of Symbolic Model Checking?},
  booktitle   ={Formal Methods Elsewhere},
  editor      ={H. Bowman},
  publisher   ={University of Kent at Canterbury, Technical Report 11-00},
  pages       ={3-17},
  year        ={2000},
  remark      ={rsg},
}