T. J. Reynolds, Petros Kefalas. BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. In Andrei Voronkov, editor, Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Volume 592 of Lecture Notes in Computer Science, pages 415-432, Springer, 1991.
@inproceedings{ReynoldsK91,
title = {BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence},
author = {T. J. Reynolds and Petros Kefalas},
year = {1991},
tags = {Prolog},
researchr = {https://researchr.org/publication/ReynoldsK91},
cites = {0},
citedby = {0},
pages = {415-432},
booktitle = {Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings},
editor = {Andrei Voronkov},
volume = {592},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55460-2},
}