The algorithmic part (pc-path-linear) was actually first proven in
Szeider's paper on forbidden transitions [1]}, by
reduction to augmenting paths. A more general presentation of this reduction,
parameterized by a choice of P-gadget, was later given in
[2]} (see also the exposition in [3]}).
