"A sound and complete chase procedure for constrained tuple-generating ..."

Deming Dou, Stéphane Coulondre (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics