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