Encoding Reversing Petri Nets in Answer Set Programming. - Yannis Dimopoulos; Eleftheria Kouppari; Anna Philippou; Kyriaki Psara (RC, 2020)