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