@inproceedings{Dol01-SUD,
  author    = {Eelco Dolstra},
  title     = {Functional Stratego},
  booktitle = {Proceedings of the Second Stratego Users Day (SUD'01)},
  pages     = {10--17},
  year      = 2001,
  editor    = {Eelco Visser},
  project   = {Stratego},
}