A Sequential Abstract Machine for Flat Concurrent Prolog

Avshalom Houri, Ehud Y. Shapiro. A Sequential Abstract Machine for Flat Concurrent Prolog. Journal of Logic and Algebraic Programming, 7(2):85-123, 1989.

@article{HouriS89,
  title = {A Sequential Abstract Machine for Flat Concurrent Prolog},
  author = {Avshalom Houri and Ehud Y. Shapiro},
  year = {1989},
  tags = {Prolog, abstract machine},
  researchr = {https://researchr.org/publication/HouriS89},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {7},
  number = {2},
  pages = {85-123},
}