Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara: Encoding Reversing Petri Nets in Answer Set Programming. RC 2020: 264-271