Yannick Forster, Dominique Larchey-Wendling: Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines. CPP 2019: 104-117