On fork arrow logic and its expressive power

From MaRDI portal
Publication:2454871