A finite fragment of S3

@article{Kowalski2008AFF,
  title={A finite fragment of S3},
  author={Tomasz Kowalski and John K. Slaney},
  journal={Reports on Mathematical Logic},
  year={2008},
  volume={43},
  pages={65-72}
}