A Petri Net Semantics for Logic Programs with Negation.

Teruhiro Shimura, Jorge Lobo, Tadao Murata

Browse the full SEKE paper archive.