Squares in fork arrow logic
scientific article; zbMATH DE number 1972195