Automata theory and its applications - Khoussainov, Bakhadyr; Nerode, Anil (, Boston Birkhauser, 2001)
Keywords: Symbolic logic