8f91e2d6d0404107.tex
1: \begin{abstract}
2:    We establish a surprisingly close relationship between universal Horn
3:    classes of directed graphs and varieties generated by so-called adjacency
4:    semigroups which are Rees matrix semigroups over the trivial group with
5:    the unary operation of reversion. In particular, the lattice of subvarieties
6:    of the variety generated by adjacency semigroups that are regular unary
7:    semigroups is essentially the same as the lattice of universal Horn classes
8:    of reflexive directed graphs. A number of examples follow, including a limit
9:    variety of regular unary semigroups and finite unary semigroups with
10:    \textsf{NP}-hard variety membership problems.
11: \end{abstract}
12: