OASys: an AND/OR parallel logic programming system

Ioannis P. Vlahavas, Petros Kefalas, Constantin Halatsis. OASys: an AND/OR parallel logic programming system. Parallel Computing, 25(3):321-336, 1999.

@article{VlahavasKH99,
  title = {OASys: an AND/OR parallel logic programming system},
  author = {Ioannis P. Vlahavas and Petros Kefalas and Constantin Halatsis},
  year = {1999},
  tags = {parallel programming, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/VlahavasKH99},
  cites = {0},
  citedby = {0},
  journal = {Parallel Computing},
  volume = {25},
  number = {3},
  pages = {321-336},
}