Title: Strukturnyĭ analiz simvolʹnykh posledovatelʹnosteĭ
Subjects: Text processing (Computer science), Symbolic and mathematical Logic