Edward A. Hirsch, Dmitry Itsykson, Valeria Nikolaenko, Alexander Smal: Optimal heuristic algorithms for the image of an injective function. Electron. Colloquium Comput. Complex. TR11: Article TR11-091 (2011)