The two-agent claims-truncated proportional rule has no consistent extension: a constructive proof
scientific article; zbMATH DE number 6132242