Klonowski, M. “A Post-Style Proof of Completeness Theorem for Symmetric Relatedness Logic S”. Bulletin of the Section of Logic, vol. 47, no. 3, Oct. 2018, pp. 201–214, doi:10.18778/0138-0680.47.3.05.