V Svetlov, G., A. I. Baranchikov, N. N. Grinchenko, and N. S. Fokina. “Using a Tableau Method for Checking the Database Logical Structure Correctness”. WiPiEC Journal - Works in Progress in Embedded Computing Journal, vol. 4, no. 1, July 2021, https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/20.