@inproceedings{SIGMOD19:ProvAbs,
title={Hypothetical Reasoning via Provenance Abstraction},
author = {Daniel Deutch and Yuval Moskovitch and  Noam Rinetzky},
booktitle = {ACM SIGMOD International Conference on Management of Data (SIGMOD)},
year = {2019}
}