Compatible relations on Heyting chains
scientific article; zbMATH DE number 6010368
scientific article