Finding Reference

The Variety of Semi-Heyting Algebras Satisfying the Equation (0 → 1)* V (0 → 1)** ≈ 1

Manuel Abad,

Juan Manuel Cornejo,

José Patricio Díaz Varela