Jérôme Leroux. Vector Addition Systems Reachability Problem (A Simpler Solution). In Andrei Voronkov, editor, Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. Volume 10 of EPiC Series, pages 214-228, EasyChair, 2012. [doi]
Abstract is missing.