Unit read-once refutations for systems of difference constraints

From MaRDI portal
Publication:6174656