The Whitman condition in the Heyting arrow lattice for relational biologic processes
scientific article; zbMATH DE number 612214