P. Florath On Methods To Decide Solvability of Transformation Problems. 29-33 1975 IJCAI db/conf/ijcai/ijcai75.html#Florath75