L. J. Schulman, “The Quantifier Semigroup for Bipartite Graphs”, Electron. J. Combin., vol. 18, no. 1, p. P123, May 2011.