Leroux, Praveen, Sutre, 2013. A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-40184-8_11