Baur, Michael; Studer, Thomas (2021). Semirings of Evidence. Journal of logic and computation, 31(8), pp. 2084-2106. Oxford University Press 10.1093/logcom/exab007