| |
| 1996 | ||
|---|---|---|
| 2 | EE | John Jeffrey, Jorge Lobo, Tadao Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259 (1996) |
| 1990 | ||
| 1 | John Jeffrey, Tadao Murata: A High-Level Petri Net for a Subset of FGHC. SEKE 1990: 260-266 | |
| 1 | Jorge Lobo | [2] |
| 2 | Tadao Murata | [1] [2] |