RelBib: Algoritmičeskaja problema okrestiostnoj polnoty normalʹnych modalʹnych logik https://relbib.de/Record/181607439X/Details