M. I. Schwartzbach and K. S. Larsen, “Optimal detection of query injectivity”, DPB, vol. 19, no. 311, Apr. 2002.