A finite fragment of S3

Tomasz Kowalski, John K. Slaney. A finite fragment of S3. Reports on Mathematical Logic, 43:65-72, 2008. [doi]

Abstract

Abstract is missing.