Between finite state and Prolog: constraint-based automata for efficient recognition of phrases. - Klaus U. Schulz; Tomek Miko Lajewski (Nat. Lang. Eng., 1996)