Jarmużek, T., and J. Malinowski. “Boolean Connexive Logics: Semantics and Tableau Approach”. Logic and Logical Philosophy, vol. 28, no. 3, Jan. 2019, pp. 427-48, doi:10.12775/LLP.2019.003.