A Petri Net Semantics for Logic Programs with Negation. - Teruhiro Shimura; Jorge Lobo 001; Tadao Murata (SEKE, 1992)

An Extended Petri Net Model for Normal Logic Programs. - Teruhiro Shimura; Jorge Lobo 001; Tadao Murata (IEEE Trans. Knowl. Data Eng., 1995)