DBLP Record 'journals/tkde/JeffreyLM96'

BibTeX

@article{DBLP:journals/tkde/JeffreyLM96,
  author    = {John Jeffrey and
               Jorge Lobo and
               Tadao Murata},
  title     = {A High-Level Petri Net for Goal-Directed Semantics of Horn
               Clause Logic},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {8},
  number    = {2},
  year      = {1996},
  pages     = {241-259},
  ee        = {db/journals/tkde/JeffreyLM96.html, db/journals/tkde/JeffreyLM96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}