Implication and axiomatization of functional and constant constraints. - Hellings, Jelle; Gyssens, Marc; Paredaens, Jan; Wu, Yuqing (Annals of Mathematics & Artificial Intelligence, 2016)