Lukashov, N. V. (2024). Unification in subsystem J$_2$ of provability logic GLB.
Chicago Style (17th ed.) CitationLukashov, N. V. Unification in Subsystem J$_2$ of Provability Logic GLB. 2024.
MLA (9th ed.) CitationLukashov, N. V. Unification in Subsystem J$_2$ of Provability Logic GLB. 2024.
Warning: These citations may not always be 100% accurate.