Basic counting techniques

@inproceedings{Papakonstantinou2016BasicCT,
  title={Basic counting techniques},
  author={Periklis A. Papakonstantinou},
  year={2016}
}