Implication and axiomatization of functional and constant constraints

Jelle Hellings, Marc Gyssens, Jan Paredaens, Yuqing Wu. Implication and axiomatization of functional and constant constraints. Annals of Mathematics and Artificial Intelligence, 76(3-4):251-279, 2016. [doi]

Abstract

Abstract is missing.