V SVETLOV, G.; I. BARANCHIKOV, A.; N. GRINCHENKO, N.; S. FOKINA, N. Using a Tableau Method for Checking the Database Logical Structure Correctness. WiPiEC Journal - Works in Progress in Embedded Computing Journal, [S. l.], v. 4, n. 1, 2021. Disponível em: https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/20. Acesso em: 23 dec. 2024.