@inproceedings{BCM1,
title = {Developing and certifying Datalog optimizations in Coq/MathComp },
author = {Begay, Pierre-L{\'e}o and Cr{\'e}gut, Pierre and Monin, Jean-Fran\c{c}ois},
year = {2021},
booktitle = {10th ACM SIGPLAN International Conference on Certified Proofs and Programs},
team = {PACSS},
pdf = {https://www-verimag.imag.fr/~monin/Publis/Docs/datalog-cpp21.pdf},
}