Schwartzbach, M. I. and Larsen, K. S. (2002) “Optimal detection of query injectivity”, DAIMI Report Series, 19(311). doi: 10.7146/dpb.v19i311.6702.