Schulman, L. J. “The Quantifier Semigroup for Bipartite Graphs”. The Electronic Journal of Combinatorics, Vol. 18, no. 1, May 2011, p. P123, doi:10.37236/610.