Stéphane Coulondre A top-down proof procedure for generalized data dependencies. 1-29 2003 39 Acta Inf. 1 http://link.springer.de/link/service/journals/00236/bibs/3039001/30390001.htm db/journals/acta/acta39.html#Coulondre03