A SQL-Middleware Unifying Why and Why-Not Provenance for First-Order Queries | IEEE Conference Publication | IEEE Xplore