@ARTICLE{ParLogicJLP91, 
  author = "L.V. Kal{\'e}",
  title = "The {REDUCE} {OR} Process Model for Parallel Execution of Logic Programs",
  journal = "Journal of Logic Programming",
  publisher = "North Holland",
  volume = 11,
  number = 1,
  month = "July",
  year = "1991",
  pages = "55-84",
  annote = "91-7",
  group = Y,
}