"A Petri Net Semantics for Logic Programs with Negation."

Teruhiro Shimura, Jorge Lobo, Tadao Murata (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics