Robuta

https://www.muni.cz/vyzkum/publikace/2369128 Towers and (rational) homotopy equivalence (an algorithmic viewpoint) | Masarykova univerzita | MUNI rational homotopymasarykova univerzitatowersequivalence