Logic finite automata and constraint logic finite automata - Gabbay, Dov M. 1945-; Schulz, Klaus U. (CIS, 1991)