"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