@inproceedings{arntzenius-2016-datafun, series={ICFP′16}, title={Datafun: a functional Datalog}, url={http://dx.doi.org/10.1145/2951913.2951948}, DOI={10.1145/2951913.2951948}, booktitle={Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming}, publisher={ACM}, author={Arntzenius, Michael and Krishnaswami, Neelakantan R.}, year={2016}, month=Sept, pages={214–227}, collection={ICFP′16} }