Constructivizations of direct products of algebraic systems
Translation from Algebra Logika 21, No.2, 138-148 (Russian) (1982; Zbl 0507.03013).
distributive relatively pseudocomplemented lattices
scientific article; zbMATH DE number 3841827