Logik-Automaten-Algorithmen Logika-avtomaty-algoritmy - Aiserman, Mark Aronowitsch (Oldenbourg, 1967)