%0 Journal Article %1 journals/amai/HellingsGPW16 %A Hellings, Jelle %A Gyssens, Marc %A Paredaens, Jan %A Wu, Yuqing %D 2016 %J Ann. Math. Artif. Intell. %K dblp %N 3-4 %P 251-279 %T Implication and axiomatization of functional and constant constraints. %U http://dblp.uni-trier.de/db/journals/amai/amai76.html#HellingsGPW16 %V 76

@article{journals/amai/HellingsGPW16, added-at = {2022-04-09T00:00:00.000+0200}, author = {Hellings, Jelle and Gyssens, Marc and Paredaens, Jan and Wu, Yuqing}, biburl = {https://www.bibsonomy.org/bibtex/2a6f870cd08a0833ab45c1754a6a6e4ef/dblp}, ee = {https://doi.org/10.1007/s10472-015-9473-7}, interhash = {c628af13d4a0fa4a70014f49efdb0c37}, intrahash = {a6f870cd08a0833ab45c1754a6a6e4ef}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {3-4}, pages = {251-279}, timestamp = {2024-04-08T16:49:03.000+0200}, title = {Implication and axiomatization of functional and constant constraints.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai76.html#HellingsGPW16}, volume = 76, year = 2016 }