A GRATIS theorem for relational optimization | IEEE Conference Publication | IEEE Xplore