G. V Svetlov, A. I. Baranchikov, N. N. Grinchenko, and N. S. Fokina, “Using a Tableau Method for Checking the Database Logical Structure Correctness”, wipiec, vol. 4, no. 1, Jul. 2021.