A whole session of LICS 2013 is devoted to the work of the ReacHard project, with three papers:

1. Jérôme Leroux (2013) Presburger Vector Addition Systems LICS 2013 IEEE Computer Society Press 23–32 (URL) (BibTeX)
2. Stéphane Demri, Diego Figueira, and M. Praveen (2013) Reasoning about Data Repetitions with Counter Systems LICS 2013 IEEE Computer Society Press 33–42 (URL) (BibTeX)
3. Jérôme Leroux, Vincent Penelle, and Grégoire Sutre (2013) On the Context-Freeness Problem for Vector Addition Systems LICS 2013 IEEE Computer Society Press 43–52 (URL) (BibTeX)