Grandi, Endriss, 2013. Lifting integrity constraints in binary aggregation 199-200.. https://doi.org/10.1016/j.artint.2013.05.001