Aleksey A. Tal'

• Logic, Automata, and Algorithms