Kurz, Velebil, 2016. Relation lifting, a survey 85.. https://doi.org/10.1016/j.jlamp.2015.08.002