https://123dok.org/document/zlg19932-binary-aggregation-with-integrity-constraints.html