TY  - RPRT
TI  - Algorithmic solvability of the lifting-extension problem
AU  - Martin Čadek
AU  - Marek Krčál
AU  - Lukáš Vokřínek
PY  - 2016
UR  - https://arxiv.org/abs/1307.6444
ID  - 1307.6444
ER  -