Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking

Nikos Drakos. Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking. In IJCAI. pages 157-162, 1989.

@inproceedings{Drakos89,
  title = {Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking},
  author = {Nikos Drakos},
  year = {1989},
  tags = {parallel programming, logic programming, logic},
  researchr = {https://researchr.org/publication/Drakos89},
  cites = {0},
  citedby = {0},
  pages = {157-162},
  booktitle = {IJCAI},
}