G. Bezhanishvili, N. Bezhanishvili, and D. de Jongh, “The Kuznetsov-Gerčiu and Rieger-Nishimura logics”, LLP, vol. 17, no. 1-2, pp. 73–110, Jun. 2008.