@misc{indiciae90b2218f8eba,
  title = {The Language Features and Architecture of B-Prolog},
  author = {Neng-Fa Zhou},
  year = {2011},
  url = {https://arxiv.org/abs/1103.0812},
  note = {Source identifier: 1103.0812}
}