https://9lib.org/document/zlgv2r2o-abstract-algorithm-compute-coincidence-nielsen-number-introduced-projective.html