Characterisation of parallel independence in AGREE-rewriting

From MaRDI portal
Publication:1663986