V. M. Popov, “On the logics related to A. Arruda’s system V1”, LLP, vol. 7, no. 7, pp. 87–90, Jan. 2004.