A Parallel Execution Model of Logic Program Based on Dependency Relationship Graph

Seungbeom Kim, Seungryoul Maeng, Jung Wan Cho. A Parallel Execution Model of Logic Program Based on Dependency Relationship Graph. In ICPP. pages 976-983, 1986.

@inproceedings{KimMC86,
  title = {A Parallel Execution Model of Logic Program Based on Dependency Relationship Graph},
  author = {Seungbeom Kim and Seungryoul Maeng and Jung Wan Cho},
  year = {1986},
  tags = {rule-based, parallel programming, graph-rewriting, logic programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/KimMC86},
  cites = {0},
  citedby = {0},
  pages = {976-983},
  booktitle = {ICPP},
}