1995 | ||
---|---|---|
2 | EE | Teruhiro Shimura, Jorge Lobo, Tadao Murata: An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995) |
1992 | ||
1 | EE | Teruhiro Shimura, Jorge Lobo, Tadao Murata: A Petri Net Semantics for Logic Programs with Negation. SEKE 1992: 292-299 |
1 | Jorge Lobo | [1] [2] |
2 | Tadao Murata | [1] [2] |