1. Public tendering rules in the eu, Sep. 2020. https://europa.eu/youreurope/business/selling-in-eu/public-contracts/public-tendering-rules/index en.htm.
2. Huynh, T.T., Nguyen, T.D., and Tan, H., A survey on security and privacy issues of blockchain technology, Proc. Int. Conf. on System Science and Engineering (ICSSE), Dong Hoi, July 20–21, 2019.
3. Road data exchange layer, 2020. https://x-road.global/.
4. Barrett, C., Sebastiani, R., and Tinelli, S.C., Handbook of Satisfiability, 2009, vol. 185.
5. Automated reasoning’s scientific frontiers, Feb. 2022. https://www.amazon.science/blog/automated-reasonings-scientific-frontiers.