Fengmin Zhu Fei He 0001 Conflict resolution for structured merge via version space algebra. 166:1-166:25 2018 2 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3276536 https://www.wikidata.org/entity/Q110510412 db/journals/pacmpl/pacmpl2.html#ZhuH18