DMCA

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

by Marie-laure Mugnier