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