T. Jarmużek and J. Malinowski, “Boolean Connexive Logics: Semantics and tableau approach”, LLP, vol. 28, no. 3, pp. 427–448, Jan. 2019.