Encoding Reversing Petri Nets in Answer Set Programming.

Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara

Browse the full RC paper archive.